seL4 Summit 2024

Attending this event?

seL4 Summit 2024

09:00 AEDT

Welcome Banksia + Bluegum

09:10 AEDT

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

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

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: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

09:00 AEDT

Panel Discussion Banksia + Bluegum

09:50 AEDT

sel4 Foundation Update Banksia + Bluegum

10:30 AEDT

First Steps Towards Verification of User-Space Systems Banksia + BluegumMatthew Brecknell

11:00 AEDT

Generating Trustworthy Hardware/Software I2C Drivers for Board Management Controllers Banksia + BluegumDaniel Schwyn • Timothy Roscoe • Zikai Liu

11:30 AEDT

Using Model Checking to Develop and Verify Inter-Component Signalling Protocols Banksia + BluegumCourtney Darville

11:45 AEDT

Rust Support in seL4 Userspace: Overview and Update Banksia + BluegumNick Spinale • Colias Group LLC

12:00 AEDT

Pancake: A Language for Verified Systems Programming Banksia + BluegumMiki Tanaka • Gernot Heiser • Johannes Åman Pohjola

13:45 AEDT

Assured Reserve Modes Banksia + BluegumIhor Kuz • Lance Joneckis

14:15 AEDT

Assured Reserve Modes in Action Banksia + BluegumIhor Kuz • Lance Joneckis

14:30 AEDT

Supporting Container Applications on an seL4-based OS (Kry10 OS) Banksia + BluegumAlison Felizzi

14:45 AEDT

Exploring an seL4-based Trusted Execution Environment in a RISC-V Platform Banksia + BluegumEverton de Matos • Technology Innovation Institute

15:30 AEDT

Bridging Academia and Industry Banksia + BluegumYanyan Shen • Dhammika Elkaduwe

16:00 AEDT

seL4 Infrastructure: USB and Beyond Banksia + BluegumBill Ellis

16:30 AEDT

Building a Commercial Virtualized Mobile Device with seL4 – Part 3 Banksia + BluegumJason Sebranek • Cog Systems Inc

16:45 AEDT

Doing Nix for seL4: Towards more Infrastructure-as-Code Banksia + BluegumWanja Zaeske

09:00 AEDT

seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO Banksia + BluegumNing Qu

09:50 AEDT

Announcements Banksia + Bluegum

10:30 AEDT

seL4 CHERI/Morello port Banksia + BluegumHesham Almatary

11:00 AEDT

Hardware Support for Time Protection Banksia + BluegumNils Wistoff • Gernot Heiser • Luca Benini

11:15 AEDT

Verification Status of Time Protection and Microkit-based OS Services Banksia + BluegumRobert Sison

11:45 AEDT

seL4 as a CPU Driver for an OS for Real Computers Banksia + BluegumTimothy Roscoe • Roman Meier • Ben Fiedler • Zikai Liu

13:30 AEDT

Discussion, BoF Teasers Banksia + Bluegum

14:00 AEDT

BoFs Banksia + Bluegum

15:30 AEDT

BoFs Banksia + Bluegum

16:30 AEDT

Report from BoFs + Discussion Banksia + Bluegum

16:45 AEDT

Concluding Remarks Banksia + Bluegum