Programs Home
Overview
Technical Program
|
|
|
|
Cyber Trust (CT)
Program Manager: Dr. Charles Morefield
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.
|
