Trusted Computing Center of Excellence™
Building Trustworthy Systems on seL4® Proved Security
TCCoE Summit 2023 May 11-12
Government Sponsored and held in conjunction with the High Confidence Software and Systems Conference (May 8-10)
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.