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

11:00 CEST

CellulOS: An OS for Comparing Isolation Mechanisms

11:30 CEST

Improving Confidential Computing with seL4: A Promising Guest OS Solution

13:30 CEST

Rust-based Drivers and Verified Rust Applications on seL4

13:45 CEST

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

14:00 CEST

SureVoice Solid

15:30 CEST

Dividing Timelines to Verify seL4 Applications

16:15 CEST

Verifying Device Drivers with Pancake