• Home
  • About
    • Bylaws
    • Organization Structure
    • Organizing Committee
    • seL4 Wiki
    • seL4 CoE Overview
    • Privacy Policy
  • Membership
    • Apply for Membership
    • Membership Info
    • Our Members
  • Summits
    • 2020 Summit
    • 2019 Summit
    • 2018 Summit
  • Resources
    • seL4 Foundation
    • seL4 Download
    • Discussion Forum
    • Code Repository
    • Private Code Repository
  • Training
  • Contact

seL4-US Center of Excellence

The world's first formally verified microkernel
JOIN OUR MEMBERSHIP
Membership
Learn more on how becoming a member gains you opportunities to influence the priorities and technical direction of the seL4® CoE.
seL4 Members
View the distinguished members involved with helping the seL4 CoE work toward our mission.
seL4 2020 Summit
Review the agenda, watch videos, and download presentations and chat transcripts from the 2020 seL4 CoE Summit.

seL4 Center of Excellence

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 seL4 Center of Excellence include maturation of seL4 technology, stabilization of the software distribution, training and expanding the user base, and developing much needed capabilities required by the Department of Defense, other government agencies, and commercial applications.

About Us

LeARN MORE

Training

LEARN MORE

Resources

LEARN MORE

Contact Us

LEARN MORE
EXPLORE COE MEMBERSHIP

Let's talk seL4 CoE

Let us know what's on your mind.
mail@sel4-us.org
seL4® Used by permission. Copyright © 2021 Griffiss Institute. All rights reserved

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.