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
Wednesday
, September 3
CD Ballroom
09:00 •
Welcome
09:10 •
Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR
10:30 •
The Next 700 Verified seL4 Platforms
11:00 •
FPGA-based Accelerators with Microkit
11:30 •
seL4 on Big Iron: Experiences and Recommendations from Neutrality's Atoll Hypervisor
13:30 •
Science, Engineering, Craft, Magic - Revolutions in the Field of Software
14:15 •
A Program Logic for seL4-based System Verification
14:30 •
A Verified, High-Performance, IPv6 Network Stack
14:45 •
Verified ZynqMP DMA Driver in Concurrent Separation Logic
15:45 •
Towards Dependable System Services on seL4
16:15 •
Porting NASA's Core Flight System to Magnetite on seL4
16:45 •
Integration of seL4 in a Flight Vehicle Mission System
Foyer
08:00 •
Registration
10:00 •
Break
15:15 •
Break
Restaurant
12:00 •
Lunch
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
Friday
, September 5
BCD Ballroom
13:30 •
BoFs
14:15 •
BoFs
CD Ballroom
09:00 •
Keynote
09:50 •
Announcements
10:30 •
Demystifying the seL4 Specification
11:30 •
A Deep Dive into seL4’s Binary Verification Story
15:00 •
BoF Wrap-up
15:15 •
Concluding Remarks
Foyer
08:30 •
Registration
10:00 •
Break
Restaurant
12:00 •
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
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.
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
