DARPA’s Information Innovation Office is co-hosting the first annual seL4 Summit along with the Air Force Research Laboratory and General Dynamics C4 Systems. seL4 is an open-source, high-assurance, high-performance microkernel; its implementation is formally proven correct against its specification. The three-day seL4 Summit will focus on maturing seL4 kernel technology, stabilizing software distribution, expanding user adoption, and transitioning the technology into various applications. Attendees will also have the opportunity to receive hands-on training for the microkernel.
DARPA’s High-Assurance Cyber Military Systems (HACMS) program supported development of seL4. HACMS aims to create technology for the construction of high-assurance cyber-physical systems, where “high-assurance” is defined as “functionally correct and satisfying appropriate safety and security properties.”
To learn more about the seL4 Summit, please visit: https://www.sel4-us.org/summit/#home. Registration is now open.
To learn more about seL4 generally, visit: https://www.sel4-us.org/#home.
You are now leaving the DARPA.mil website that is under the control and
management of DARPA. The appearance of hyperlinks does not constitute
endorsement by DARPA of non-U.S. Government sites or the information,
products, or services contained therein. Although DARPA may or may not
use these sites as additional distribution channels for Department of
Defense information, it does not exercise editorial control over all of
the information that you may find at these locations. Such links are
provided consistent with the stated purpose of this website.
After reading this message, click to continue