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

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

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

15:30 CEST

Dividing Timelines to Verify seL4 Applications CD BallroomThomas Sewell

16:15 CEST

Verifying Device Drivers with Pancake CD BallroomJunming Zhao