.png)
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.
2022 Summit
Review the agenda, watch videos, and download presentations and chat transcripts from the 2022 Summit.
Trusted Computing Center of Excellence™
The mission of the Trusted Computing Center of Excellence™ (CoE) is to lower barriers to adoption and facilitate the principled development and deployment of trustworthy systems based on seL4®. SeL4® is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The goals of the Trusted Computing CoE™ include maturation of seL4® technology, stabilization of the software distribution, training and expanding the user base, and developing much needed capabilities required by the U.S. Department of Defense, other government agencies, and commercial applications.
.png "About Us")
About Us
.png "Training")
Training
.png "Resources")
Resources
.png "Contact Us")