2018 seL4 Summit
First Annual Summit Technical Program
November 14-15, 2018
2018 Summit Agenda
Wednesday, November 14, 2018
- 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
- 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
- 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
- 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
Thursday, November 15, 2018
- 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
- 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
- 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
- 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