Learn more on how becoming a member gains you opportunities to influence the priorities and technical direction of the Trusted Computing CoE™.
View the distinguished members involved with helping the Trusted Computing CoE™ work toward our mission.
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.