seL4 summit logo

seL4 Summit 2022

Munich, Germany (hybrid), 10-12 Oct 2022

Preliminary Program

All times are local time in Munich, Germany (UTC+2).
Day 1 10 October 2022
9:00 - 9:10 Announcements Welcome
9:10 - 10:00Keynote seL4 research update
Gernot Heiser, UNSW
Break
10:15 - 10:45TalkseL4 verification roadmap
Rafal Kolanski, Gerwin Klein & June Andronick, Proofcraft
10:45 - 11:15TalkExplaining the seL4 integrity theorems
Matthew Brecknell, Kry10
11:15 - 11:45DiscussionAMA (Ask Me Anything) with the Foundation TSC
Break
12:45 - 13:15Talk The seL4 Core Platform (seL4CP)
TBD, UNSW
13:15 - 13:45TalkThe seL4 Device Driver Framework (sDDF)
Lucy Parker, UNSW
13:45 - 14:30Talk & DiscussionMultiprocessing on seL4 with verified kernels
Kent McLeod, Kry10
Break
15:00 - 15:30TalkUsing QEMU to extend seL4 VirtIO support
Hannu Lyytinen & Markku Ahvenjärvi, TII
15:30 - 16:00TalkQEMU as prototyping platform for seL4 systems
Axel Heider, Hensoldt Cyber
16:00 - 16:30TalkPorting U-Boot drivers to seL4
Mark Jenkinson & Stephen Williams, Capgemini
16:30 - 17:00Talkfence.t: hardware support for preventing microarchitectural timing channels
Nils Wistoff, ETH
Day 2 11 October 2022
9:00 - 9:50KeynoteKry10 Secure Platform
Boyd Multerer, Kry10
9:50 - 10:00AnnouncementsFoundation announcements
Break
10:15 - 10:45TalkseL4 and BEAM: a match made in Erlang
Ihor Kuz, Kry10
10:45 - 11:15TalkTBD
11:15 - 11:45Talk & DiscussionRust support in seL4 userspace: present and future
Nick Spinale
Break
12:45 - 13:15TalkTrustworthy board management controllers
Daniel Schwyn & Ben Fiedler, ETH
13:15 - 13:45TalkEarly experiences proving the correctness of a network stack implementation
Alain Kägi et al, Lewis & Clark College
13:45 - 14:15TalkCASE overview: Cyber Assured Systems Engineering
Darren Cofer, Collins Aerospace
14:15 - 14:45TalkA verified architecture for trustworthy remote attestation
Grant Jurgensen, The University of Kansas
Break
15:15 - 15:30Experience reportFerrOS: Rust-y unikernels on seL4 w/ compile-time assurances
Zack Pierce, Auxon
15:30 - 15:45Experience reportSafety-critical voice communication system (MCS, SMP, VM)
Indan Zupancic, MEP
15:45 - 16:00Experience reportMake seL4 an ASIL-D certified system
Yuning Liang, Xcalibyte
16:00 - 16:15TeaserVM Composer
Robbie VanVossen, DornerWorks
16:15 - 17:00Panel & DiscussionFunding agencies: priorities and vision
Day 3 12 October 2022
9:00 - 9:45PlenaryOverview: seL4 principles, abstractions and use
Gernot Heiser, seL4 Foundation
9:45 - 10:00PlenaryOverview: what's verified, what's not, and what does it mean?
June Andronick, seL4 Foundation
10:00 - 10:45PlenaryOverview: seL4 GitHub tests
Gerwin Klein, seL4 Foundation
Break
11:00 - 11:15AnnouncementsDiscussion teaser and suggestions for Birds of a Feather
11:15 - 12:00 Room 1:
Talk & Discussion
seL4 mainlining: experiences, challenges, and solutions
Robbie VanVossen & Chris Guikema, DornerWorks
Room 2:
BoF
Birds of a Feather on a topic to be suggested
Break
12:45 - 13:30 Room 1:
Talk & Discussion
seL4 microkernel for virtualization use-cases “The importance of a standard VMM”
Everton de Matos, TII+Cog
Room 2:
BoF
Birds of a Feather on a topic to be suggested
13:30 - 14:15 Room 1:
Talk & Discussion
Improving embedded DevOps with seL4 VMM
Robbie VanVossen, DornerWorks
Room 2:
BoF
Birds of a Feather on a topic to be suggested
14:15 - 15:00 Room 1:
Talk & Discussion
Experience teaching seL4
Hensoldt Cyber
Room 2:
BoF
Birds of a Feather on a topic to be suggested
Break
15:15 - 16:00PlenaryBoFs report back
16:00 - 16:15AnnouncementsBootcamp overview
16:15 - 16:30PlenaryseL4 Summit and TCCOE - an overview
Jason Li & Ray Richards
16:30 - 16:45PlenaryseL4 Foundation: overview, update and vision
June Andronick, seL4 Foundation
16:45 - 17:00AnnouncementsConcluding remarks
Day 4 (Bootcamp, on-site participants only) 13 October 2022
9:00 - 10:00BootcampseL4 from zero to hello-world
Break
10:15 - 10:45BootcampCAMkES
Sebastian Eckl, Hensoldt Cyber
10:45 - 12:00BootcampTRENTOS
Sebastian Eckl, Hensoldt Cyber
Break
12:45 - 14:30BootcampThe seL4 Core Platform (seL4CP)
Ivan Velickovic & Peter Chubb, UNSW
14:30 - 15:15BootcampVM Composer: the easy button for virtualized seL4-based systems
Chris Guikema & Robbie VanVossen, DornerWorks
Break
15:30 - 16:45BootcampBriefCASE tutorial
Darren Cofer, Isaac Amundson (Collins Aerospace)
16:45 - 17:00PlenaryConcluding remarks