seL4 Summit
seL4 Summit
seL4 Summit

Air Force Research Laboratory
Defense Advanced Research Projects Agency
Air Force Research Laboratory
Defense Advanced Research Projects Agency
Air Force Research Laboratory
Defense Advanced Research Projects Agency

Registration is now open for the 2019 seL4 Summit! It will be held September 23-26, 2019 at the Hyatt Regency Dulles Herndon, VA. We would like to thank the Summit 2018 attendees and speakers, and encourage them to attend the 2019 Summit and invite their colleagues. Register now in order to take advantage of special Early Bird pricing. Please also consider reserving a room at the Hyatt Regency Dulles during your stay at the Summit. Discounted rates are currently being offered.

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 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.

For general information (Wiki, GitHub, etc.) about the seL4 Microkernel, please visit


The dates (September 23-26, 2019) for the seL4 Summit have been finalized, but the agenda is still being planned. For a preview of the 2019 agenda, please take a look at the currently confirmed speakers and their tentative presentation titles. Also, please note that the Summit will include one or two expert panels on seL4 topics of interest. Details will be forthcoming.

Presenter Organization Tentative Title
Prof. Gernot Heiser Data61, CSIRO seL4 Research: What Is Next on the Horizon?
Prof. Edward Lee University of California at Berkley Deterministic Concurrency and Its Role in Assurance
Dr. June Andronick Data61, CSIRO Verified or Not Verified?, That Is the Question
Prof. Trent Jaeger Penn State University Developing Software to Leverage seL4’s Formal Correctness for Achieving Security Guarantees
Jerry Dussault Griffiss Institute seL4 CoE Progress and Plans
Douglas Schafer Air Force Research Laboratory Updates on ARES and AFRL Visions for Building Assured Systems
Darren Cofer Collins Aerospace Cyber Assured Systems Engineering
Prof. Simon Ou University of South Florida seL4 Transition Experience in Building Automation
Arun Thomas Draper Labs Building Secure Systems Using seL4 RISC-V and Tagged Hardware
Dr. Stuart Card Critical Technologies seL4 Drivers for Trustworthy Devices
Jon Paulikonis NavAir What We Are Looking for From seL4 CoE and What We Think We Can Contribute to the CoE
Dr. Freek Verbeek Virginia Tech Verification Condition Generation for Formal Guarantees Against ROP Attacks
Prof. Yong Guan Iowa State University Quality-Time-As-An-Advantage Zero-Pre-Configuration Pairing Scheme for seL4 IoT Devices
Dr. Gabriela Ciocarlie SRI International Hardware-Assisted Safety for seL4
Robert VanVossen DornerWorks seL4 by the Numbers
Dr. Greg Shannon CMU SEI Assured Software for Advanced Manufacturing
Dr. Paul Ratazzi Air Force Research Laboratory seL4 CoE and AFRL Visions
Prof. Hui Lu Binghamton University Enabling seL4 Containers to Support Legacy Applications
Prof. Daniel Limbrick North Carolina A&T State University Performance Evaluation of ROS on an seL4-Based Raspberry Pi
Dr. Lennart Beringer, Prof. Andrew Appel Princeton University Verification of Modular and Effectful C Programs Using VST
Dr. Rick Skowyra MIT Lincoln Laboratory Leveraging seL4 to Create Cyber-Resilient Small Satellites
Todd Carpenter Adventium Labs Model-Based Code Generation for seL4-Based Systems
Dr. Gustavo Quiros Araya Siemens ACE: Assurance Composed and Explained
Prof. Kevin Hamlen University of Texas at Dallas Bottom-Up Formal Validation of Binary-Specific Software Properties
Prof. Cynthia Irvine Naval Postgraduate School Combining ROS with seL4 for Trustworthy Autonomous Systems
Dr. Shweta Shinde University of California at Berkley Safer Enclaves with seL4 and Keystone on RISC-V
Dr. Eric Smith Kestrel Correct-By-Construction Network Stack Synthesis for seL4


Please visit the special seL4 Summit hotel reservation website in order to obtain the best possible discounted rate.

Hyatt Regency Dulles
2300 Dulles Corner Blvd.
Herndon, VA 20171


seL4 Summit Registration

Early Bird (before 8/4/19) Full Price
Registrant Full Conference Sessions Only Full Conference Sessions Only
Regular $950 $700 $1100 $800
Student $665 $490 $770 $560
Full Conference includes 4 days of speaker presentations and hands-on training sessions
Sessions Only includes 3 days of speaker presentations only

To register for the 2019 seL4 Summit, please visit the official Summit Registration Website

Attention Students! A limited number of Student Travel Grants are available.

Student Travel Grants

Travel grants are available to help partially cover the travel expenses of student attendees to the 2019 seL4 Summit.

Who Should Apply

We encourage applications from students from a wide variety of institutions, diverse backgrounds, and first time attendees. The travel grants will be given to students enrolled in U.S. institutions. Both undergraduate and graduate students will be considered for this award.

Award Criteria

We are unable to provide awards to all applicants. Awards will be determined by a committee of volunteers participating in the organization of the 2019 seL4 Summit. Preference will be given to students working on embedded systems security, students who can show evidence of financial need to attend the Summit, and students from diverse backgrounds. In order to ensure a diverse pool of awardees to the Summit, travel awards will be limited to at most one student per advisor, and at most two students from the same institution.

Award Description

We will reimburse registration costs and partial travel expenses (hotel, transportation, and meals) for a total of up to $1000.

How to Apply

Applications are due by July 12, 2019. Students will be notified by July 26, 2019 and will be expected to register before August 2, 2019. Please note that selected students not meeting the registration date deadline may forfeit their award. Applications should be submitted by filling out the form:

View the Application form

An application for a travel award will consist of a single PDF file with the student's resume, a statement from the student, and a letter from the student's research advisor with a justification of financial need. The student's statement should include a summary of research interests, and a statement of why the applicant will benefit from participating in the Summit.

If you would like to be notified about the 2019 seL4 Summit and other major seL4 events, please consider emailing any contact information that you feel comfortable sharing to:

We respect your privacy, so please be assured that we will only use your email address to contact you about significant seL4-related events.


Do you have additional questions about the seL4 Summit?