Sched.com Conference Mobile Apps
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.
Show More
Sign up
or
log in
to add sessions to your schedule and sync them to your phone or calendar.
Schedule
Speakers
Co-Authors
Search
Menu
Schedule
Speakers
Co-Authors
Search
Event Schedule
My Schedule
0
View
Simple
Expanded
Grid
By Venue
View
Simple
Expanded
Grid
By Venue
arrow_back
View All Dates
Thursday
, September 4
CD Ballroom
09:00 •
Panel TBC
09:45 •
seL4 Foundation Update
10:30 •
Sculpt OS - A Dynamic General-Purpose OS Powered by Genode on seL4
11:00 •
CellulOS: An OS for Comparing Isolation Mechanisms
11:30 •
Improving Confidential Computing with seL4: A Promising Guest OS Solution
13:30 •
Rust-based Drivers and Verified Rust Applications on seL4
13:45 •
Porting seL4 to the RISC-V SoC, Toward a Secure and High-Performance RISC-V AI Platform
14:00 •
SureVoice Solid
14:15 •
Trustworthy Systems R&D Update
15:30 •
Dividing Timelines to Verify seL4 Applications
16:15 •
Verifying Device Drivers with Pancake
Foyer
08:00 •
Registration
10:00 •
Break
15:00 •
Break
Restaurant
11:45 •
Lunch
Filter By Date
Sep 3
-
5, 2025
Wednesday
, September 3
Thursday
, September 4
Friday
, September 5
Filter By Venue
Prague, Czechia
All
BCD Ballroom
CD Ballroom
Červený Jelen
Foyer
Restaurant
Filter By Type
Break
Deep Dive
Expo Hall
General Session
Keynote Session
Panel Discussions and Birds of a Feather
Presentation Session
Registration
Share Modal
Share this link via
Or copy link
Copy
Filter sessions
Apply filters to sessions.
Filtered by
Date
-
Clear filter
close
Dates
Wednesday
, September 3
Thursday
, September 4
Friday
, September 5
Session Type
Break
Deep Dive
Expo Hall
General Session
Keynote Session
Panel Discussions and Birds of a Feather
Presentation Session
Registration
Other Filters
