seL4-US
×

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. The seL4 Center of Excellence is currently being led by Intelligent Automation Inc. (Principal Investigator: Dr. Jason Li).

What's New?

Training Opportunities!

Please check out upcoming seL4-related training opportunities in the Training section of this website.

seL4 Summit 2018

The first annual seL4 Summit was held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. For more information about the 2018 seL4 Summit as well as the 2019 Summit, please visit the seL4 Summit website.

Slides

The slides contain a brief oveview about the seL4 Center of Excellence (CoE). Topics covered in this overview include:

  • seL4 CoE goals
  • The Role of the USA seL4 CoE
  • CoE Teaming Agreement
  • Information about Public and Private Repositories

View the slides in PDF format

Wiki

The seL4-US Wiki contains background information about seL4, general information about microkernels, and links to other resources such as tutorials and documentation.

Visit the seL4-US Wiki now

GitHub

The seL4-US GitHub public repository currently hosts version 1.0 of seL4.

Visit the seL4-US GitHub repository now

Discussion Forums

Soon the seL4 CoE team will host seL4 discussion forums. If you have seL4 questions to ask, seL4 knowledge to share, or would just like to join seL4 related discussions, please check back soon.

Training Opportunities

On behalf of the seL4 CoE, DornerWorks, Ltd. would like to announce a free, seL4 webinar.

Introduction to seL4 Webinar
February 7, 2019 at 11:00 am EST
This introductory webinar will provide an overview and explain the basics of seL4.
Note:
If you missed this excellent introduction to seL4 held on 2-7-2019, you can find a recording of the webinar on YouTube: https://youtu.be/gBIRDBekQP4
The webinar slides can be downloaded from DornerWorks: https://goo.gl/374V9c

In addition, please explore these advanced, seL4-related training opportunities:

Formal Methods for Functional Safety and Security in Cyber-Physical Systems [More Info]- ID#C1876
March 4-6, 2019 in Troy, MI
Instructor: Dr. Taylor T. Johnson, Vanderbilt Univ.

Introduction to the Secure Microkernel, seL4 [More Info]- ID#C1874
March 7-8, 2019 in Troy, MI
Instructors: Robbie VanVossen, DornerWorks, Ltd. and Nathan Studer, DornerWorks, Ltd.

Complete course descriptions, learning objectives, target audience, course outlines, and instructor biographies are available at the above links.

Contact

Do you have additional questions about the website or seL4 in general?

mail@sel4-us.org