Security Assessment

Roy H. Campbell

Professor Campbell's research interests are in the engineering and construction techniques of complex system software. Security, continuous media, and real-time control present a challenge to operating system designers. Ubiquitous, distributed, and parallel systems require complex resource management and efficient implementations.
Carl A. Gunter

Professor Gunter uses his background in programming languages to analyze protocols and systems with respect to trustworthy operation. Information about Professor Gunter's recent work is outlined on the Security Lab page.
Jingwei Huang

Dr. Huang's research in ITI focuses on (1) formal theories of trust, including the formal semantics of trust, measurement of uncertainty in trust, logics of trust, calculus of trust, trust evolution, and trust mechanisms; and (2) applications of formal trust models in distributed computing and open networks, such as trust in identity management and trust in social networks.
Ravishankar K. Iyer

Professor Iyer is interested in developing and analyzing techniques for developing secure and reliable systems. He leads several projects in this area. One project is the Reconfigurable Reliability and Security Engine. A common processor-level framework that can provide application-aware reliability and security is attractive and timely.
Kenneth J. Keefe

Ken Keefe is currently interested in model-based system validation of dependability/performance/security properties, and multi-formalism and multi-solution modeling frameworks. He is the principal developer and software architect for the Möbius modeling and simulation tool.
David M. Nicol

Professor Nicol and his students have been studying the security properties of large-scale systems through Project MOSES. The project is examining large-scale system behavior and developing simulation and modeling methodology that supports demonstration and evaluation of that behavior. Historically Prof. Nicol and his students have studied computer and communication networks.
William H. Sanders

Professor Sanders addresses the trustworthiness of systems by developing new modeling and simulation techniques. His PERFORM Performability Engineering Research Group at the University of Illinois at Urbana-Champaign conducts research in the design and validation of dependable and secure networked systems.
Adam J. Slagell

Mr. Slagell leads the LAIM (Log Anonymization and Information Management) working group, which is funded by NSF project 0524643 (CT-ISG: Computer Log Anonymization and Information Sharing) and the National Center for Advanced Secure Systems Research (NCASSR).
Unifying Stakeholders and Security Programs to Address SCADA Vulnerabilities and Infrastructure Interdependencies

funded by Dartmouth College/I3P, subcontract from the U.S. Department of Energy
Algorithms for Quantifying Security and Survivability

funded by Boeing