seL4 summit logo

seL4 Summit 2022

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

Program

All times are local time in Munich, Germany (UTC+2).
Session chairs in italics.

Day 1 10 October 2022
9:00 - 9:10 Darren Cofer &
June Andronick
Announcements Welcome YouTube icon slides icon
9:10 - 10:00 Darren Cofer Keynote State of seL4-related research
Gernot Heiser
, UNSW
YouTube icon slides icon
Break
10:15 - 10:45 Nick Spinale Talk seL4 verification roadmap
Rafal Kolanski, Gerwin Klein & June Andronick
, Proofcraft
YouTube icon slides icon
10:45 - 11:15 Talk Explaining the seL4 integrity theorems
Matt Brecknell
, Kry10
YouTube icon slides icon
11:15 - 11:45 Darren Cofer Discussion AMA (Ask Me Anything) with the Foundation TSC YouTube icon
Break
12:45 - 13:15 Robbie VanVossen Talk The seL4 Core Platform (seL4CP)
Zoltan Kocsis
, UNSW
YouTube icon slides icon
13:15 - 13:45 Talk The seL4 Device Driver Framework (sDDF)
Lucy Parker
, UNSW
YouTube icon slides icon
13:45 - 14:30 Talk & Discussion Multiprocessing on seL4 with verified kernels
Kent McLeod
, Kry10
YouTube icon slides icon
Break
15:00 - 15:30 Ihor Kuz Talk Using QEMU to extend seL4 VirtIO support
Hannu Lyytinen
& Markku Ahvenjärvi, TII
YouTube icon slides icon
15:30 - 16:00 Talk QEMU as prototyping platform for seL4 systems
Axel Heider
, HENSOLDT Cyber
YouTube icon slides icon
16:00 - 16:30 Talk Porting U-Boot drivers to seL4
Mark Jenkinson & Stephen Williams
, Capgemini
YouTube icon slides icon
16:30 - 17:00 Talk fence.t: hardware support for preventing microarchitectural timing channels
Nils Wistoff
, ETH
YouTube icon slides icon
Traditional Bavarian Dinner 19:00 - 22:30
Day 2 11 October 2022
9:00 - 9:50 June Andronick Keynote Kry10 Secure Platform
Boyd Multerer
, Kry10
YouTube icon slides icon
9:50 - 10:00 June Andronick
& Darren Cofer
Announcements Foundation announcements YouTube icon slides icon
Break
10:15 - 10:45 Gerwin Klein Talk seL4 and BEAM: a match made in Erlang
Ihor Kuz
, Kry10
YouTube icon slides icon
10:45 - 11:15 Talk Trustworthy board management controllers
Daniel Schwyn, Ben Fiedler
, Michael Giardino, David Cock & Timothy Roscoe, ETH
YouTube icon slides icon
11:15 - 11:45 Talk & Discussion Rust support in seL4 userspace: present and future
Nick Spinale
YouTube icon slides icon
Break
12:45 - 13:15 Rafal Kolanski Talk Early experiences proving the correctness of a network stack implementation
Alain Kägi
, Aubrey Birdwell, Caitlyn Wilde, Jens Mache & Richard Weiss, Lewis & Clark College
YouTube icon slides icon
13:15 - 13:45 Talk CASE overview: Cyber Assured Systems Engineering
Darren Cofer
, Collins Aerospace
YouTube icon slides icon
13:45 - 14:15 Talk A verified architecture for trustworthy remote attestation
Grant Jurgensen
, The University of Kansas
slides icon
Break
14:45 - 15:05 Kent McLeod Experience report FerrOS: Rust-y unikernels on seL4 w/ compile-time assurances
Zack Pierce
, Auxon
YouTube icon slides icon
15:05 - 15:25 Experience report Make seL4 an ASIL-D certified system
Yuning Liang
, Xcalibyte
YouTube icon slides icon
15:25 - 15:45 Experience report seL4 Summit and TCCOE - an overview
Renato Levy, Jason Li & Ray Richards, TCCOE
YouTube icon slides icon
15:45 - 17:00 Gernot Heiser Panel & Discussion Funding agencies: priorities and vision
William “Brad” Martin, DARPA
Paul Waller, NCSC
Sebastian Jester, Cyberagentur
Dr. Shreekant (Ticky) Thakkar, TII
YouTube icon
slides icon



slides icon

Day 3 12 October 2022
9:00 - 9:45 Matt Brecknell Plenary Overview: seL4 principles, abstractions and use
Gernot Heiser
, seL4 Foundation
YouTube icon slides icon
9:45 - 10:00 Plenary Overview: what's verified, what's not, and what does it mean?
June Andronick
, seL4 Foundation
YouTube icon slides icon
10:00 - 10:45 Plenary The seL4 GitHub test suite
Gerwin Klein
, Proofcraft
YouTube icon slides icon
Break
11:00 - 11:15 Anna Lyons Announcements Discussion teaser and suggestions for Birds of a Feather
11:15 - 12:00 Anna Lyons Room 1:
Talk & Discussion
seL4 mainlining: experiences, challenges, and solutions
Robbie VanVossen & Chris Guikema
, DornerWorks
YouTube icon slides icon
Room 2:
BoF
Birds of a Feather on a topic to be suggested
Break
12:45 - 13:30 Room 1:
Axel Heider

Room 2:
self-organised
Room 1:
Talk & Discussion
seL4 microkernel for virtualization use-cases “The importance of a standard VMM”
Everton de Matos
& Jason Sebranek, TII+Cog
YouTube icon slides icon
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
YouTube icon slides icon
Room 2:
BoF
Birds of a Feather on a topic to be suggested
14:15 - 15:00 Room 1:
Talk & Discussion
Experience teaching seL4
Sebastian Eckl
, HENSOLDT Cyber
YouTube icon slides icon
Room 2:
BoF
Birds of a Feather on a topic to be suggested
Break
15:15 - 16:00 Gernot Heiser Plenary BoFs report back
16:00 - 16:15 Gernot Heiser Announcements Bootcamp overview
16:15 - 16:30 Gernot Heiser Teaser DornerWorks’ VM Composer
Robbie VanVossen
, DornerWorks
YouTube icon slides icon
16:30 - 16:45 Plenary seL4 Foundation: overview, update and vision
June Andronick
, seL4 Foundation
YouTube icon slides icon
16:45 - 17:00 Darren Cofer,
June Andronick
& Gernot Heiser
Announcements Concluding remarks YouTube icon
Day 4 (Bootcamp, on-site participants only) 13 October 2022
9:00 - 10:00 Axel Heider Bootcamp seL4: from zero to hello world
Ihor Kuz
, Kry10
Break
10:15 - 10:45 Axel Heider Bootcamp CAmkES
Sebastian Eckl,
HENSOLDT Cyber
10:45 - 12:00 Axel Heider Bootcamp TRENTOS
Sebastian Eckl
, HENSOLDT Cyber
Break
13:00 - 14:30 Axel Heider Bootcamp The seL4 Core Platform (seL4CP)
Ivan Velickovic
& Peter Chubb, UNSW
14:30 - 15:15 Axel Heider Bootcamp DornerWorks’ VM Composer: the easy button for virtualized seL4-based systems
Chris Guikema & Robbie VanVossen
, Dornerworks
Break
15:30 - 17:00 Axel Heider Bootcamp BriefCASE tutorial
Isaac Amundson & Darren Cofer
, Collins Aerospace
17:00 - 17:05 June Andronick
& Darren Cofer
Plenary Concluding remarks


Acknowledgement:
Slide icons create by Syahrul Hidayatullah - Flaticon