Current Project

• Addressing Security Challenges in Pervasive Computing Applications, Funded by the U.S. Air Force Office of Scientific Research

  Past Projects

• A Model of Trust for Developing Trustworthy Systems from Untrustworthy Actors, Funded by the U.S. Federal Aviation Administration and the U.S. Air Force Research Laboratory
• An Aspect-Based Approach for Specification, Analysis, Integration and Evolution of Security Policies, Funded by the U.S. Air Force Office of Scientific Research
• A Framework for Secure and Survivable Transaction Processing, Funded by the National Science Foundation