2018 seL4 Summit
First Annual Summit Technical Program
November 14-15, 2018
The first day of the CoE Summit included over a dozen presentations by government, industry, and academia experts discussing a variety of topics specifically related to the seL4® microkernel. Dr. Peter Neumann, SRI International, was the keynote speaker for the Summit event, and Dr. Raymond Richards, DARPA, was instrumental in both speaking at the Summit as well as his guidance and support for organizing the event. A broad spectrum of topics related to seL4® technology was presented during the Summit, and those in attendance absorbed a wealth of seL4®-related information presented by experts representing government, industry, and academia. The tightly packed agenda of the Summit can be viewed below. For those speakers who “opted-in”, their presentations can also be downloaded below.
On the second day of the Summit, attendees had the option of continuing with the “General Session” track containing further presentations and interactions with discussion panels, or, attendees chose the “Training Session” track, which provided a more “hands-on” approach. Both tracks conveyed a substantial amount of information regarding seL4®. The hands-on portion of the training sessions occurred on the second and third days of the Summit.
Material from prior classes sponsored by the Griffiss Institute was combined with information from DARPA sources as well as newly developed material in order to form the classwork for those interested in the Training Session track. The Thursday (2nd day) morning session was primarily an informal setup and configuration session for those attendees that did not have their computers fully configured for later hands-on training. Thursday afternoon was dedicated to providing users with an overview of seL4® technology from a developer’s perspective and a discussion of the existing seL4® repository and its organization. Thursday afternoon completed with an introductory hands-on session running “seL4test” (a series of unit tests meant verify a proper seL4® build), and a simple “Hello World” application was developed and tested. Friday morning’s Training Session continued with the attendees building and deploying seL4® on a Raspberry Pi 3 board, a general discussion of the seL4 API, and a hands-on session about developing multi-threaded applications using the newly developed seL4 API extensions. Friday afternoon was reserved for a question and answer session for those wishing to discuss seL4® development further.
2018 Summit Agenda
Wednesday, Nov. 14 | Thursday Nov. 15
Wednesday, November 14, 2018
Chair & Time Session #1 – Assured Systems – Overview Dr. Jason Li
- Opening Remarks and Introduction (Dr. Raymond Richards, DARPA) 08:45AM – 09:00AM
- Keynote: A Hardware-Software Total-System View of Trustworthiness 09:00AM – 10:00AM (Dr. Peter Neumann, SRI International)
- The Evolution of Secure Operating Systems (Prof. Trent Jaeger, Penn State University) 10:00AM – 10:30AM
- seL4: Past, Present, Future (Prof. Gernot Heiser, Data 61) 10:30AM – 11:00AM
Break (20 Minutes) 11:00AM – 11:20AM
Session #2 – seL4 Center of Excellence Douglas Schafer
- HACMS Program and seL4 Visions (Dr. Raymond Richards, DARPA) 11:20AM – 11:50AM
- seL4 CoE: Plans and Progress (Nicholas Evancich, IAI) 11:50AM – 12:10PM
- Practical Use of seL4 (Robert VanVossen, DornerWorks) 12:10PM – 12:30PM
Lunch 12:30PM – 13:30PM
Session #3 – Government Efforts Daniel Fayette
- AFRL ARES Program (Douglas Schafer, AFRL/RIGA) 13:30PM – 14:00PM
- An Overview of the DHS S&T CPSSEC Program (Dr. Christos Papadopoulos, DHS) 14:00PM – 14:30 PM
- TARDEC Related Program Efforts (Leonard Elliott, Eric Bennett, Army TARDEC) 14:30 PM – 15:00PM
- NSF CPS Security Programs (Dr. David Corman, NSF) 15:00PM – 15:30 PM
Break (15 Minutes) 15:30PM – 15:45PM
Session #4 – Industry & Academia Efforts – Part I Dr. Paul Pazandak
- Steal this Drone: High-Assurance Cyber Military Systems (Dr. Darren Cofer, Rockwell Collins) 15:45PM – 16:05PM
- seL4-enabled security mechanisms for cyber-physical systems 16:05PM – 16:25PM (David Payton, Dr. Aleksey Nogin, HRL)
- Creating a Practical Security Architecture Based on seL4 16:25PM – 16:45PM
Closing Remarks (Douglas Schafer, AFRL/RIGA) 16:45PM – 17:00PM
Thursday, November 15, 2018
Chair & Time Session #5 – Formal Verification and Tools Dr. Gabriela Ciocarlie
- The Formal Verification of seL4 (Dr. June Andronick, Data 61) 08:45AM – 09:15AM
- Verifiable C and the Verified Software ToolChain 09:15AM – 09:45AM (Dr. Lennart Beringer, Dr. Andrew Appel, Princeton University)
- Scalable Verification of Legacy Binaries on COTS Hardware 09:45AM – 10:15AM (Prof. Freek Verbeek and Prof. Binoy Ravindran, Virginia Tech)
- ISA-Modular, Dependently Typed Validation of Native Codes 10:15AM – 10:45AM (Prof. Kevin Hamlen, University of Texas at Dallas)
- Component Oriented Engineering (Dr. John Launchbury, Galois) 10:45AM – 11:15AM
Break (15 Minutes) 11:15AM – 11:30AM
Session #6 – seL4 CoE Panel Discussion 11:30AM – 12:30PM
(Moderator: Dr. Jason Li)
- Dr. Peter Neumann, SRI International
- Dr. Gernot Heiser, Data 61
- Prof. Trent Jaeger, Penn State University
- Dr. Lok Yan, Air Force Research Laboratory
- Dr. John Launchbury, Galois
Lunch 12:30PM – 13:30PM
Session #7 – Industry & Academia Efforts– Part II Dr. Simon Ou
- Secure Boot of a Virtualization Environment on seL4 (Dr. Stuart Card, Critical Technologies) 13:30PM – 13:50PM
- Verified Network Stack Synthesis for seL4 (Dr. Eric Smith, Kestrel Technology) 13:50PM – 14:10PM
- A Secure Distributed Computing Middleware for the seL4 Ecosystem (Dr. Paul Pazandak, RTI) 14:10PM – 14:30PM
- A Mixed-Criticality Medical Device Platform Based on seL4 (Todd Carpenter, Adventium Labs) 14:30PM – 14:50PM
- Enabling Trustworthy Remote Recovery with seL4 (Dr. Richard Skowyra, MIT Lincoln Labs) 14:50PM – 15:10PM
Break (15 Minutes) 15:10PM – 15:25PM
Session #8 – seL4, CoE and Assured Systems – Way forward Dr. Lok Yan
- Extending Security Guarantees Above, Below and Within seL4 (Dr. Gabriela Ciocarlie, SRI International) 15:25PM – 15:45PM
- CMU SEI Efforts on Assured Systems (Dr. Greg Shannon, SEI CERT) 15:45PM – 16:05PM
- Cyber Resilient Operating System (Jon Paulikonis, Naval Air Systems Command) 16:05PM – 16:25PM
- seL4 Center of Excellence Management and Transition (Jerry Dussault, Griffiss Institute) 16:25PM – 16:45PM
Closing Remarks (Dr. Raymond Richards, DARPA) 16:45PM – 17:00PM