• Home
  • About
    • Organization Structure
    • Organizing Committee
    • Privacy Policy
  • Membership
    • Apply for Membership
    • Membership Info
    • Our Members
  • Summits
    • 2024 Summit
    • 2022 Summit
    • 2020 Summit
    • 2019 Summit
    • 2018 Summit
  • Resources
    • About seL4®
    • seL4® Foundation
    • TCCoE Repository
    • Existing Platforms and Capabilities
  • Training
  • Contact

Trusted Computing Center of Excellence™

Building Trustworthy Systems with Proven Components
JOIN NOW!

MARK YOUR CALENDARS! Summit 2025

Save the Date for May 15 - 16, 2025
Agenda
Accepted Talks
Registration once again this year will be held in conjunction with the 2025 High Confidence Software and Systems Conference the week of May 12-16 at the following link:
HCSS Conference / TCCoE summit Registration
Please note that HCSS Conference is May 12 - 14 and TCCoE Summit is May 15 - 16 in Annapolis Maryland. 
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.

About Us

LeARN MORE

Training

LEARN MORE

Resources

LEARN MORE

Contact Us

LEARN MORE
EXPLORE COE MEMBERSHIP
TCCOE REPOSITORY

Let's talk Trusted Computing CoE™

Let us know what's on your mind.
mail@trustedcomputingcoe.org
seL4 is a trademark of LF Projects, LLC. Trusted Computing Center of Excellence™ is a tradename of The Computing Center of Excellence, Inc. Copyright © 2022 The Computing Center of Excellence, Inc.

We use cookies to enable essential functionality on our website, and analyze website traffic. By clicking Accept you consent to our use of cookies. Read about how we use cookies.

Your Cookie Settings

We use cookies to enable essential functionality on our website, and analyze website traffic. Read about how we use cookies.

Cookie Categories
Essential

These cookies are strictly necessary to provide you with services available through our websites. You cannot refuse these cookies without impacting how our websites function. You can block or delete them by changing your browser settings, as described under the heading "Managing cookies" in the Privacy and Cookies Policy.

Analytics

These cookies collect information that is used in aggregate form to help us understand how our websites are being used or how effective our marketing campaigns are.