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 https://www.sel4-us.org
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.
|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|
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 GrantsTravel 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.
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.
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:
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: email@example.com
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?