Welcome
Model-based Development for seL4 Microkit/Rust with I... 09:10 - 10:00
The Next 700 Verified seL4 Platf... 10:30 - 11:00
FPGA-based Accelerators with Mic... 11:00 - 11:30
seL4 on Big Iron: Experiences an... 11:30 - 12:00
Science, Engineering, Craft, Magic - Revolutions... 13:30 - 14:15
A Program Logic fo...
A Verified, High-P...
Verified ZynqMP DMA Driver in Co... 14:45 - 15:15
Towards Dependable System Servic... 15:45 - 16:15
Porting NASA's Core Flight Syste... 16:15 - 16:45
Integration of seL4 in a Flight... 16:45 - 17:15
Registration 08:00 - 09:00
Break 10:00 - 10:30
Break 15:15 - 15:45
Lunch 12:00 - 13:30
Panel TBC 09:00 - 09:45
seL4 Foundation Up...
Sculpt OS - A Dynamic General-Pu... 10:30 - 11:00
CellulOS: An OS for Comparing Is... 11:00 - 11:30
Improving Confiden...
Rust-based Drivers...
Porting seL4 to th...
SureVoice Solid
Trustworthy Systems R&D Update 14:15 - 15:00
Dividing Timelines to Verify seL4 Applications 15:30 - 16:15
Verifying Device Drivers with Pa... 16:15 - 16:45
Break 15:00 - 15:30
Lunch 11:45 - 13:30
BoFs 13:30 - 14:15
BoFs 14:15 - 15:00
Keynote 09:00 - 09:50
Announcements
Demystifying the seL4 Specification 10:30 - 11:30
A Deep Dive into seL4’s Binary V... 11:30 - 12:00
BoF Wrap-up
Concluding Remarks
Registration 08:30 - 09:00
Share this link via
Or copy link
