seL4 Summit 2025: Full Schedule

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

Thursday September 4, 2025 08:00 - 09:00 CEST

Foyer

Thursday September 4, 2025 08:00 - 09:00 CEST
Foyer

Registration

09:00 CEST

Panel TBC

Thursday September 4, 2025 09:00 - 09:45 CEST

CD Ballroom

Thursday September 4, 2025 09:00 - 09:45 CEST
CD Ballroom

Panel Discussions and Birds of a Feather

09:00 CEST

Expo Hall

Thursday September 4, 2025 09:00 - 16:45 CEST

Expo Hall

09:45 CEST

seL4 Foundation Update

Thursday September 4, 2025 09:45 - 10:00 CEST

CD Ballroom

Speakers

June Andronick

seL 4 Foundation

Thursday September 4, 2025 09:45 - 10:00 CEST
CD Ballroom

General Session

10:00 CEST

Break

Thursday September 4, 2025 10:00 - 10:30 CEST

Foyer

Thursday September 4, 2025 10:00 - 10:30 CEST
Foyer

Break

10:30 CEST

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

Thursday September 4, 2025 10:30 - 11:00 CEST

CD Ballroom

Speakers

Alexander Boettcher

Genode Labs

Thursday September 4, 2025 10:30 - 11:00 CEST
CD Ballroom

Presentation Session

11:00 CEST

CellulOS: An OS for Comparing Isolation Mechanisms

Thursday September 4, 2025 11:00 - 11:30 CEST

CD Ballroom

Speakers

Sid Agrawal

University of British Columbia

Co-Authors

Aastha Mehta

University of British Columbia

Arya Stevinson

Oracle

Ethan Xu

University of British Columbia

Hugo Lefeuvre

Postdoctoral Research Fellow, University of British Columbia

Hugo Lefeuvre is a Postdoctoral Research Fellow at the University of British Columbia, where he researches a range of topics in systems security. Earlier, he was a PhD candidate at the University of Manchester and a Microsoft PhD Research Fellow. He is an active contributor of free-software... Read More →

Linh Pham

Hammerspace

Margo Seltzer

University of British Columbia

Reto Achermann

University of British Columbia

Shaurya Patel

University of British Columbia

Thursday September 4, 2025 11:00 - 11:30 CEST
CD Ballroom

Presentation Session

11:30 CEST

Improving Confidential Computing with seL4: A Promising Guest OS Solution

Thursday September 4, 2025 11:30 - 11:45 CEST

CD Ballroom

Speakers

Alexander Weidinger

Fraunhofer AISEC

Thursday September 4, 2025 11:30 - 11:45 CEST
CD Ballroom

Presentation Session

11:45 CEST

Lunch

Thursday September 4, 2025 11:45 - 13:30 CEST

Restaurant

Thursday September 4, 2025 11:45 - 13:30 CEST
Restaurant

Break

13:30 CEST

Rust-based Drivers and Verified Rust Applications on seL4

Thursday September 4, 2025 13:30 - 13:45 CEST

CD Ballroom

Speakers

Robert VanVossen

Embedded Systems Engineer, Dornerworks

I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.

Thursday September 4, 2025 13:30 - 13:45 CEST
CD Ballroom

Presentation Session

13:45 CEST

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

Thursday September 4, 2025 13:45 - 14:00 CEST

CD Ballroom

Speakers

Yuning Liang

Founder & CEO, Deep Computing

Yuning has a strong background in embedded systems, platform APIs, and AI. He founded Xcalibyte, DeepComputing, and Synergic, and invested in BravoMonster RC Cars. In 2024, he received the "RISC-V Community Contributor Award" and was recognized as an "Ubuntu Summit Contributor." A... Read More →

Thursday September 4, 2025 13:45 - 14:00 CEST
CD Ballroom

Presentation Session