Membership
Learn more on how becoming a member gains you opportunities to influence the priorities and technical direction of the Trusted Computing CoE™.
CoE Members
View the distinguished members involved with helping the Trusted Computing CoE™ work toward our mission.
Summits
Review the agendas, watch videos, and download presentations and chat transcripts from previous Summits.
Trusted Computing Center of Excellence™
The mission of the Trusted Computing Center of Excellence™ (TCCoE™) is to lower barriers to adoption and facilitate the principled development and deployment of trustworthy software-based systems. Thus, risk will be reduced, especially in areas vital to U.S. and allied national defense, intelligence, security, and critical infrastructure. Rigorous mathematical proof offers strong evidence of trustworthiness, so the TCCoE fosters adoption of formal methods, as well as other advanced techniques, plus components and systems developed or verified with them. A leading example is the open source seL4™ microkernel. TCCoE goals include maturation of such technologies, stabilization of their software distributions, and expanding/training the user/developer base to provide much needed capabilities for the Nation.
.png "About Us")
About Us
.png "Training")
Training
.png "Resources")
Resources
.png "Contact Us")