seL4-US
×

seL4 Summit 2018

The first annual seL4 Summit will be held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence for seL4 ecosystems, aiming to further mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop 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).

The development of seL4 was supported by the Defense Advanced Research Projects Agency (DARPA) under the High-Assurance Cyber Military Systems (HACMS) program, which aims to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties.

Information about the seL4 Summit can be found at https://www.sel4-us.org/summit/


For more information about the seL4 Microkernel, check out our Slides, Wiki and GitHub pages!

Slides

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

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

Currently, during the pre-release version of this web site, this section contains no content. However, at the site's Grand Opening later this year, this section will contain discussion forums where beginners and experts can ask and respond to questions related to the seL4 microkernal.

Please note that this section will only be available to those who register.

Training Opportunities

Currently, during the pre-release version of this web site, this section contains no content. However, at the site's Grand Opening later this year, this section will contain in-depth tutorials, instructional videos, and a path toward becoming a seL4 Certified Engineer

Please note that this section will only be available to those who register.

Contact

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

mail@sel4-us.org