Welcome
Industrial Scale Proof Engineering for Critical Trust... 09:10 - 10:00
seL4 Verification: Status and Pl... 10:30 - 11:00
seL4 Multikernel Roadmap and Con... 11:00 - 11:30
The Neutrality Atoll Hypervisor... 11:30 - 12:00
Lions OS: Secure,...
In and Around LionsOS 13:45 - 14:15
The Secure Multise...
Running Certified Operating Syst... 14:30 - 15:00
Securing ROS Systems with seL4 15:30 - 16:00
Experience Develop...
Transitioning from...
sel4 Foundation Up...
Real World Needs a...
Registration 08:00 - 17:00
Expo Hall 10:00 - 18:30
Break 10:00 - 10:30
Break 15:00 - 15:30
Lunch 12:00 - 13:30
Networking Cocktail Reception 18:00 - 20:00
Panel Discussion 09:00 - 10:00
First Steps Towards Verification... 10:30 - 11:00
Generating Trustworthy Hardware/... 11:00 - 11:30
Using Model Checki...
Rust Support in se...
Pancake: A Languag...
Assured Reserve Modes 13:45 - 14:15
Assured Reserve Mo...
Supporting Contain...
Exploring an seL4-...
Bridging Academia and Industry 15:30 - 16:00
seL4 Infrastructure: USB and Bey... 16:00 - 16:30
Building a Commerc...
Doing Nix for seL4...
Expo Hall 10:00 - 15:30
Lunch 12:15 - 13:45
Networking Dinner Reception 18:00 - 21:00
seL4 in Software-Defined Vehicles: Vision, Roadmap, a... 09:00 - 09:50
Announcements
Enhancing seL4’s C/C++ userspace... 10:30 - 11:00
Hardware Support f...
Verification Status of Time Prot... 11:15 - 11:45
seL4 as a CPU Driver for an OS f... 11:45 - 12:15
Discussion, BoF Te...
BoFs 14:00 - 15:00
BoFs 15:30 - 16:30
Report from BoFs +...
Concluding Remarks
Lunch 12:15 - 13:30
Share this link via
Or copy link