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.

arrow_back View All Dates

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