09:00 • Welcome - Robert VanVossen, seL4 Technical Lead, DornerWorks
09:10 • Keynote: The Age of Software Understanding - Anjana Rajan, CEO & Co-Founder, Atalanta
10:30 • seL4: What, Why, Who and Where? - June Andronick, Proofcraft and seL4 Foundation
11:30 • 10 Years of seL4 at NCSC - Adam, NCSC
13:30 • “Staying in the Red Queen's Race”: Organizing Small and Medium Sized FOSS Communities in a World of Regulations and AI - Alistair Woodman, Erlang Ecosystem Foundation (EEF)
14:00 • Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace
14:30 • Kry10 OS Software Safety Manual - Ihor Kuz, Kry10
15:30 • Navigating the Cyber Resilience Act: Real-World Lessons in Securing Connected Products - Jonathan Marshall, SafeShark
15:45 • Formal Verification now in European Cyber Resiliency standard for OS - June Andronick, Proofcraft and seL4 Foundation
16:00 • Certification, Compliance and Policies: Enabler or Barrier to Innovation? Darren Cofer, Collins Aerospace; Peter Davies, Imperial College; Jonathan Marshall, SafeShark; Anjana Rajan, Atalanta; James Sharp, Dstl & Martin Dehnel-Wild, Kry10
17:00 • Closing Remarks
09:00 • Keynote: From Proof to Product: Why Formal Methods Is Finally Ready - Martin Dehnel-Wild, Chief Scientist, Kry10
09:50 • Announcements - June Andronick, Proofcraft & seL4 Foundation
10:30 • Cyber-Hardened Satellite Software (CHSS) VMM - Robert VanVossen, Dornerworks
11:00 • Throwing seL4 on the Throwbot 3 Robot - Nathan Studer, Dornerworks
11:15 • Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL) - Dave Lide & Biruk Sintayehu, Trusted Science and Technology
11:30 • Evolving Legacy Systems Towards Strong Spatial and Temporal Isolation with seL4 - Philipp Scholl, ABB Corporate Research
11:45 • tSDX - Reference Architecture for Software Defined X - Nils Brand, Fraunhofer IESE
13:30 • seL4's Security Proofs - Ryan Barry, Proofcraft Systems
14:00 • Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney
14:30 • Where are we with Time Protection? Verification and Cross-domain Communication Update - Rob Sison, UNSW Sydney
15:30 • Pancake Updates - Miki Tanaka, UNSW
16:00 • Verifying seL4 device drivers with CN - Peter "Gus" O'Hanley, Galois
16:15 • Formalising Device Protocols for sDDF Driver Verification - Liam Murphy, UNSW Sydney
16:45 • Verification of a UDP Implementation: Challenges and Solutions - Daniel Neshyba-Rowe, Independent
17:00 • Closing Remarks
09:00 • Ask Me Anything' with the TSC - Speakers To Be Announced
09:30 • Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney
10:30 • A Policy-free Boot Process for seL4 - Daniel Schwyn, Neutrality
11:00 • Carrels: Secure, High-performance Microservice on seL4 - Guangtao Zhu, UNSW Sydney
11:30 • Single Kernel Multicore seL4 - David Swasey & Scott Brookes, Riverside Research
11:45 • Booting Windows on an x86-64 seL4-based VMM - Bill Nguyen, UNSW Sydney
13:30 • Rigorous Agentic Systems Engineering for seL4 using HAMR - John Hatcliff, Kansas State University
14:00 • Efficient User-level Physical Memory Management on seL4 - Guangtao Zhu, UNSW Sydney
14:15 • Modeling and Performance Analysis of Ethernet on LionsOS - Lesley Rossouw, UNSW Sydney
14:30 • Building Safe Display Diodes with seL4 - Andrew Ruef, Institute for Defense Analyses
15:15 • BoF Session: Details To Be Announced
16:15 • BoF Session: Details To Be Announced
17:00 • BoF Wrap-up
17:15 • Closing Remarks
