seL4 Summit 2024

Attending this event?

seL4 Summit 2024

arrow_back View All Dates

09:00 AEDT

Welcome Banksia + Bluegum

09:10 AEDT

Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA) Banksia + BluegumDarren Cofer

10:00 AEDT

Break Bluegum Lobby

10:30 AEDT

seL4 Verification: Status and Plans Banksia + BluegumGerwin Klein • June Andronick • Corey Lewis • Michael McInerney • Rafal Kolanski

11:00 AEDT

seL4 Multikernel Roadmap and Concurrency Verification Banksia + BluegumGerwin Klein • Corey Lewis

11:30 AEDT

The Neutrality Atoll Hypervisor and the seL4 Multikernel Banksia + BluegumDavid Cock • Mathieu Mirmont • Stevens Le Blond

12:00 AEDT

Lunch Jacaranda Terrace

13:30 AEDT

Lions OS: Secure, Fast, Adaptable! Banksia + BluegumGernot Heiser

13:45 AEDT

In and Around LionsOS Banksia + BluegumIvan Velickovic

14:15 AEDT

The Secure Multiserver Operating System Framework Banksia + BluegumAlwin Joshy • Gernot Heiser • Craig McLaughlin • Kevin Elphinstone

14:30 AEDT

Running Certified Operating Systems under the seL4 Hypervisor Banksia + BluegumChris Guikema

15:00 AEDT

Break Bluegum Lobby

15:30 AEDT

Securing ROS Systems with seL4 Banksia + BluegumAlex Pavey • Nathan Studer • Cristian Balas • Yale Empie • Zach Clark

16:00 AEDT

Experience Developing Code for the seL4 Environment Banksia + BluegumAlain Kägi • Wyeth Greenlaw Rollins • Caitlyn Wilde

16:15 AEDT

Transitioning from CAmkES VMM to MicroKit VMM Banksia + BluegumLeigha VanderKlok

16:45 AEDT

seL4 on RISC-V:Building Safe and Fast Firmware Banksia + Bluegumlei mao

17:00 AEDT

Networking Event TBA