Programs Home
Overview
Mission
Technical Program
Challenges and Approach
|
|
|
|
Cyber Trust (CT)
Program Manager: Dr. Todd Hughes (AEO)
Mission:
The Cyber Trust program will create the technology and techniques to enable trustworthy information systems by:
- Developing hardware, firmware, and microkernel architectures as necessary to provide foundational security for operating systems and applications.
- Developing tools to find vulnerabilities in complex open source software.
- Developing scalable formal methods to formally verify complex hardware/software.
|
