|
The research at the Center for Cybersecurity is supported by NSF, ONR, DARPA,
Army Research, Airforce Research and NIST. A selection of our current research
projects is shown below:
- Model-Carrying Code: A new Approach to Mobile-Code
Security,
PIs: R. Sekar, S. Smolka, C.R. Ramakrishnan, and I.V. Ramakrishnan,
funded by Office of Naval Research under the University Research
Initiative (URI)
in Critical Infrastructure Protection and High-Confidence Software, 2001--04.
- Model Checking for Detecting Computer System
Vulnerabilities, PIs: C.R. Ramakrishnan, I.V. Ramakrishnan, R. Sekar, S. Smolka, and
S. D. Stoller, National Science Foundation, Information
Technology Research (ITR), 2002-2006.
- Checking Critical Software for
Concurrent, Distributed, Open, Secure Systems. PI: Scott Stoller,
Office of Naval Research, Young Investigator Award, 2002--2005.
- An In-Kernel Runtime Execution Environment for User-Level Programs,
PI: Erez Zadok, National Science Foundation,
CAREER Award, 2002-2006.
- A Layered Approach to Securing Network File Systems, PI: Erez Zadok,
National Science Foundation, 2003--2006.
- A New Approach for Securing Systems Using Adaptive
Intrusion Response, PI: R. Sekar, National Science Foundation,
2002-2005.
- Secure Mobile Code Execution Environment,
PIs: R. Sekar, I.V. Ramakrishnan,
Computer Associates, 2003-04.
- Capacity Expansion in Information Assurance, PIs: R. Sekar,
Y. Lin, I. Ramakrishnan, S. Stoller, E. Zadok,
National Science Foundation, 2003-05.
- Specification-Based Techniques in Information Assurance,
PI: R. Sekar, funded by Airforce Office of Scientific Research
under the DoD Critical Infrastructure Protection and Information
Assurance Fellows (CIPIAF) program, 2001--02.
- Compiler-Assisted Intrusions Detection/Protection and Automated Damage Repair,
PI: Tzi-cker Chiueh, funded by NIST under the Critical
Infrastructure Protection program, 2001--03.
- LMC: Logic-Based Specification
and Verification, PIs: C.R. Ramakrishnan, I.V. Ramakrishan, Scott Smolka
and David Warren, supported by National Science Foundation under the
Experimental Systems program, 1997--2002.
- Advanced Formal Methods for Reactive Systems Engineering,
PIs: Rance Cleaveland, Scott Smolka and Eugene Stark,
funded by Army Research Office, 2001--04.
- A Model-Based Approach for Securing Software Systems,
PI: R. Sekar, funded by National Science Foundation 2001--'04.
- Protecting Resources Using Programmable Adaptive Rapid
Reactors,
PI: R. Sekar, Defense Advanced Research Projects Agency, 2000--'04.
- Survivable Active Networks,
PI: R. Sekar, funded by
Defense Advanced Research Projects Agency, 1997--2001.
- Automated Analysis of Security and Fault-Tolerance of Distributed Systems,
PI: Scott Stoller, funded by National Science Foundation, CAREER Award,
1999--2003.
- Tabled Logic Programming for Verification and Program Analysis,
PI: C.R. Ramakrishnan, funded by National Science Foundation, CAREER Award,
1998--2002.
|
