seL4 Summit 2025

seL4 Summit 2025

The schedule is subject to change, so please check back before the event for the most up to date information.

Please note that all session times are listed below in Central European Summer Time (CEST), UTC +2.

08:00 CEST

Registration Foyer

09:00 CEST

Welcome CD BallroomNick Spinale Expo Hall

09:10 CEST

Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR CD BallroomJohn Hatcliff • Robby • Junaid Babar • Jason Belt • Stefan Hallerstede • Robert VanVossen

10:00 CEST

10:30 CEST

The Next 700 Verified seL4 Platforms CD BallroomGerwin Klein

11:00 CEST

FPGA-based Accelerators with Microkit CD BallroomWanja Zaeske on behalf of Vincent Janson • Vincent Janson

11:30 CEST

seL4 on Big Iron: Experiences and Recommendations from Neutrality's Atoll Hypervisor CD BallroomDavid Cock

12:00 CEST

Lunch Restaurant

13:30 CEST

Science, Engineering, Craft, Magic - Revolutions in the Field of Software CD BallroomBoyd Multerer

14:15 CEST

A Program Logic for seL4-based System Verification CD BallroomMatt Brecknell

14:30 CEST

A Verified, High-Performance, IPv6 Network Stack CD BallroomAlain Kägi • Daniel Neshyba-Rowe • Caitlyn Wilde

14:45 CEST

Verified ZynqMP DMA Driver in Concurrent Separation Logic CD BallroomGordon Stewart

15:15 CEST

15:45 CEST

Towards Dependable System Services on seL4 CD BallroomYanyan Shen • Dhammika Elkaduwe

16:15 CEST

Porting NASA's Core Flight System to Magnetite on seL4 CD BallroomJuliana Furgala • Samuel Jero

16:45 CEST

Integration of seL4 in a Flight Vehicle Mission System CD BallroomDarren Cofer

08:00 CEST

Registration Foyer

09:00 CEST

Panel TBC CD Ballroom Expo Hall

09:45 CEST

seL4 Foundation Update CD BallroomJune Andronick

10:00 CEST

10:30 CEST

Sculpt OS - A Dynamic General-Purpose OS Powered by Genode on seL4 CD BallroomAlexander Boettcher

11:00 CEST

CellulOS: An OS for Comparing Isolation Mechanisms CD BallroomSid Agrawal • Reto Achermann • Hugo Lefeuvre • Aastha Mehta • Shaurya Patel • Linh Pham • Margo Seltzer • Arya Stevinson • Ethan Xu

11:30 CEST

Improving Confidential Computing with seL4: A Promising Guest OS Solution CD BallroomAlexander Weidinger

11:45 CEST

Lunch Restaurant

13:30 CEST

Rust-based Drivers and Verified Rust Applications on seL4 CD BallroomRobert VanVossen

13:45 CEST

Porting seL4 to the RISC-V SoC, Toward a Secure and High-Performance RISC-V AI Platform CD BallroomYuning Liang

14:00 CEST

SureVoice Solid CD BallroomPeter de Ridder

14:15 CEST

Trustworthy Systems R&D Update CD BallroomGernot Heiser

15:00 CEST

15:30 CEST

Dividing Timelines to Verify seL4 Applications CD BallroomThomas Sewell

16:15 CEST

Verifying Device Drivers with Pancake CD BallroomJunming Zhao

08:30 CEST

Registration Foyer

09:00 CEST

Keynote CD BallroomSebastian Jester Expo Hall

09:50 CEST

Announcements CD BallroomJune Andronick

10:00 CEST

10:30 CEST

Demystifying the seL4 Specification CD BallroomMatt Brecknell • Mathieu Paturel

11:30 CEST

A Deep Dive into seL4’s Binary Verification Story CD BallroomNick Spinale

12:00 CEST

Lunch Restaurant

13:30 CEST

BoFs BCD Ballroom

14:15 CEST

BoFs BCD Ballroom

15:00 CEST

BoF Wrap-up CD BallroomRobert VanVossen

15:15 CEST

Concluding Remarks CD BallroomRobert VanVossen