Research Funding

The research at the Secure Systems Lab is supported by NSF, ONR, DARPA, and Airforce Research. A selection of our funded research projects is shown below:

• Model-Carrying Code: A new Approach to Mobile-Code Security,
  funded by Office of Naval Research under the University Research Initiative (URI)
  in Critical Infrastructure Protection and High-Confidence Software, 2001--05.
• Model-Checking for Detecting Computer System Vulnerabilities,
  funded by National Science Foundation, 2002-06.
• Secure Mobile Code Execution Environment,
  funded by Computer Associates, 2003-04.
• Adaptive Intrusion Response,
  funded by National Science Foundation, 2002-05.
• Specification-Based Techniques in Information Assurance,
  funded by Airforce Office of Scientific Research 
  under the DoD Critical Infrastructure Protection and Information 
  Assurance Fellows (CIPIAF) program, 2001--02.
• A Model-Based Approach for Securing Software Systems,
  funded by National Science Foundation, 2001--'04.
• Protecting Resources Using Programmable Adaptive Rapid Reactors, 
  Defense Advanced Research Projects Agency, 2000--'02.
• Survivable Active Networks, funded by 
  Defense Advanced Research Projects Agency, 1997--2001.