Loading…
The schedule is subject to change, so please check back before the event for the most up to date information.

Please note that all session times are listed below in Central European Summer Time (CEST), UTC +2.
Wednesday, September 3
 

08:00 CEST

Registration
Wednesday September 3, 2025 08:00 - 09:00 CEST
Foyer
Wednesday September 3, 2025 08:00 - 09:00 CEST
Foyer
  Registration

09:00 CEST

Welcome
Wednesday September 3, 2025 09:00 - 09:10 CEST
CD Ballroom
Speakers
avatar for Nick Spinale

Nick Spinale

Collas Group
Wednesday September 3, 2025 09:00 - 09:10 CEST
CD Ballroom
  General Session

09:00 CEST

Expo Hall
Wednesday September 3, 2025 09:00 - 17:15 CEST
Wednesday September 3, 2025 09:00 - 17:15 CEST
  Expo Hall

09:10 CEST

Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR
Wednesday September 3, 2025 09:10 - 10:00 CEST
CD Ballroom
Speakers
JH

John Hatcliff

Kansas State University
Co-Authors
JB

Jason Belt

Kansas State University
JB

Junaid Babar

Collins Aerospace
R

Robby

Kansas State University
RV

Robert VanVossen

Embedded Systems Engineer, Dornerworks
I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.
SH

Stefan Hallerstede

Aarhus University
Wednesday September 3, 2025 09:10 - 10:00 CEST
CD Ballroom
  Keynote Session

10:00 CEST

Break
Wednesday September 3, 2025 10:00 - 10:30 CEST
Foyer
Wednesday September 3, 2025 10:00 - 10:30 CEST
Foyer
  Break

10:30 CEST

The Next 700 Verified seL4 Platforms
Wednesday September 3, 2025 10:30 - 11:00 CEST
CD Ballroom
Speakers
GK

Gerwin Klein

Proofcraft
Wednesday September 3, 2025 10:30 - 11:00 CEST
CD Ballroom
  Presentation Session

11:00 CEST

FPGA-based Accelerators with Microkit
Wednesday September 3, 2025 11:00 - 11:30 CEST
CD Ballroom
Speakers
WZ

Wanja Zaeske on behalf of Vincent Janson

German Aerospace Center (DLR)
Co-Authors
VJ

Vincent Janson

German Aerospace Center (DLR)
Wednesday September 3, 2025 11:00 - 11:30 CEST
CD Ballroom
  Presentation Session

11:30 CEST

seL4 on Big Iron: Experiences and Recommendations from Neutrality's Atoll Hypervisor
Wednesday September 3, 2025 11:30 - 12:00 CEST
CD Ballroom
Speakers
avatar for David Cock

David Cock

Head of Verification, Neutrality
Wednesday September 3, 2025 11:30 - 12:00 CEST
CD Ballroom
  Presentation Session

12:00 CEST

Lunch
Wednesday September 3, 2025 12:00 - 13:30 CEST
Restaurant
Wednesday September 3, 2025 12:00 - 13:30 CEST
Restaurant
  Break

13:30 CEST

Science, Engineering, Craft, Magic - Revolutions in the Field of Software
Wednesday September 3, 2025 13:30 - 14:15 CEST
CD Ballroom
Speakers
BM
Wednesday September 3, 2025 13:30 - 14:15 CEST
CD Ballroom

14:15 CEST

A Program Logic for seL4-based System Verification
Wednesday September 3, 2025 14:15 - 14:30 CEST
CD Ballroom
Speakers
avatar for Matt Brecknell

Matt Brecknell

Verification Engineer, Kry10
Matthew is a formal verification practitioner. He has made significant contributions to the seL4 verification story, and is a member of the seL4 Foundation Technical Steering Committee. At Kry10, Matthew is developing the next generation of high-assurance remotely-managed seL4-based... Read More →
Wednesday September 3, 2025 14:15 - 14:30 CEST
CD Ballroom
  Presentation Session

14:30 CEST

A Verified, High-Performance, IPv6 Network Stack
Wednesday September 3, 2025 14:30 - 14:45 CEST
CD Ballroom
Speakers
AK

Alain Kägi

Assistant Professor, Lewis & Clark College
Co-Authors
CW

Caitlyn Wilde

Student, Lewis & Clark College
I'm a senior at Lewis and Clark College in Oregon studying computer science with a focus in cybersecurity.
DN

Daniel Neshyba-Rowe

Lewis & Clark College
Wednesday September 3, 2025 14:30 - 14:45 CEST
CD Ballroom
  Presentation Session

14:45 CEST

Verified ZynqMP DMA Driver in Concurrent Separation Logic
Wednesday September 3, 2025 14:45 - 15:15 CEST
CD Ballroom
Speakers
GS

Gordon Stewart

Riverside Research
Wednesday September 3, 2025 14:45 - 15:15 CEST
CD Ballroom
  Presentation Session

15:15 CEST

Break
Wednesday September 3, 2025 15:15 - 15:45 CEST
Foyer
Wednesday September 3, 2025 15:15 - 15:45 CEST
Foyer
  Break

15:45 CEST

Towards Dependable System Services on seL4
Wednesday September 3, 2025 15:45 - 16:15 CEST
CD Ballroom
Speakers
YS
Co-Authors
DE
Wednesday September 3, 2025 15:45 - 16:15 CEST
CD Ballroom
  Presentation Session

16:15 CEST

Porting NASA's Core Flight System to Magnetite on seL4
Wednesday September 3, 2025 16:15 - 16:45 CEST
CD Ballroom
Speakers
avatar for Juliana Furgala

Juliana Furgala

Cybersecurity Researcher, MIT Lincoln Laboratory
Juliana Furgala is an associate technical staff member in the Secure Resilient Systems and Technology Group. Currently she is researching secure and recoverable satellite systems. Interested in the pursuit of technology built with security in mind, she aims to develop lasting technology... Read More →
Co-Authors
SJ

Samuel Jero

MIT Lincoln Laboratory
Wednesday September 3, 2025 16:15 - 16:45 CEST
CD Ballroom
  Presentation Session

16:45 CEST

Integration of seL4 in a Flight Vehicle Mission System
Wednesday September 3, 2025 16:45 - 17:15 CEST
CD Ballroom
Speakers
avatar for Darren Cofer

Darren Cofer

Fellow, Collins Aerospace
Darren Cofer is a Principal Fellow at Collins Aerospace. He earned his PhD in Electrical and Computer Engineering from The University of Texas at Austin. His area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-assurance... Read More →
Wednesday September 3, 2025 16:45 - 17:15 CEST
CD Ballroom
  Presentation Session
 
Thursday, September 4
 

08:00 CEST

Registration
Thursday September 4, 2025 08:00 - 09:00 CEST
Foyer
Thursday September 4, 2025 08:00 - 09:00 CEST
Foyer
  Registration

09:00 CEST

Panel TBC
Thursday September 4, 2025 09:00 - 09:45 CEST
CD Ballroom
Thursday September 4, 2025 09:00 - 09:45 CEST
CD Ballroom
  Panel Discussions and Birds of a Feather

09:00 CEST

Expo Hall
Thursday September 4, 2025 09:00 - 16:45 CEST
Thursday September 4, 2025 09:00 - 16:45 CEST
  Expo Hall

09:45 CEST

seL4 Foundation Update
Thursday September 4, 2025 09:45 - 10:00 CEST
CD Ballroom
Speakers
JA

June Andronick

seL 4 Foundation
Thursday September 4, 2025 09:45 - 10:00 CEST
CD Ballroom
  General Session

10:00 CEST

Break
Thursday September 4, 2025 10:00 - 10:30 CEST
Foyer
Thursday September 4, 2025 10:00 - 10:30 CEST
Foyer
  Break

10:30 CEST

Sculpt OS - A Dynamic General-Purpose OS Powered by Genode on seL4
Thursday September 4, 2025 10:30 - 11:00 CEST
CD Ballroom
Speakers
AB
Thursday September 4, 2025 10:30 - 11:00 CEST
CD Ballroom
  Presentation Session

11:00 CEST

CellulOS: An OS for Comparing Isolation Mechanisms
Thursday September 4, 2025 11:00 - 11:30 CEST
CD Ballroom
Speakers
avatar for Sid Agrawal

Sid Agrawal

University of British Columbia
Co-Authors
AM

Aastha Mehta

University of British Columbia
AS
EX

Ethan Xu

University of British Columbia
avatar for Hugo Lefeuvre

Hugo Lefeuvre

Postdoctoral Research Fellow, University of British Columbia
Hugo Lefeuvre is a Postdoctoral Research Fellow at the University of British Columbia, where he researches a range of topics in systems security. Earlier, he was a PhD candidate at the University of Manchester and a Microsoft PhD Research Fellow. He is an active contributor of free-software... Read More →
LP

Linh Pham

Hammerspace
MS

Margo Seltzer

University of British Columbia
RA

Reto Achermann

University of British Columbia
SP

Shaurya Patel

University of British Columbia
Thursday September 4, 2025 11:00 - 11:30 CEST
CD Ballroom
  Presentation Session

11:30 CEST

Improving Confidential Computing with seL4: A Promising Guest OS Solution
Thursday September 4, 2025 11:30 - 11:45 CEST
CD Ballroom
Speakers
AW

Alexander Weidinger

Fraunhofer AISEC
Thursday September 4, 2025 11:30 - 11:45 CEST
CD Ballroom
  Presentation Session

11:45 CEST

Lunch
Thursday September 4, 2025 11:45 - 13:30 CEST
Restaurant
Thursday September 4, 2025 11:45 - 13:30 CEST
Restaurant
  Break

13:30 CEST

Rust-based Drivers and Verified Rust Applications on seL4
Thursday September 4, 2025 13:30 - 13:45 CEST
CD Ballroom
Speakers
RV

Robert VanVossen

Embedded Systems Engineer, Dornerworks
I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.
Thursday September 4, 2025 13:30 - 13:45 CEST
CD Ballroom
  Presentation Session

13:45 CEST

Porting seL4 to the RISC-V SoC, Toward a Secure and High-Performance RISC-V AI Platform
Thursday September 4, 2025 13:45 - 14:00 CEST
CD Ballroom
Speakers
avatar for Yuning Liang

Yuning Liang

Founder & CEO, Deep Computing
Yuning has a strong background in embedded systems, platform APIs, and AI. He founded Xcalibyte, DeepComputing, and Synergic, and invested in BravoMonster RC Cars. In 2024, he received the "RISC-V Community Contributor Award" and was recognized as an "Ubuntu Summit Contributor." A... Read More →
Thursday September 4, 2025 13:45 - 14:00 CEST
CD Ballroom
  Presentation Session

14:00 CEST

SureVoice Solid
Thursday September 4, 2025 14:00 - 14:15 CEST
CD Ballroom
Speakers
PD
Thursday September 4, 2025 14:00 - 14:15 CEST
CD Ballroom
  Presentation Session

14:15 CEST

Trustworthy Systems R&D Update
Thursday September 4, 2025 14:15 - 15:00 CEST
CD Ballroom
Speakers
GH

Gernot Heiser

UNSW Sydney
Thursday September 4, 2025 14:15 - 15:00 CEST
CD Ballroom
  Deep Dive

15:00 CEST

Break
Thursday September 4, 2025 15:00 - 15:30 CEST
Foyer
Thursday September 4, 2025 15:00 - 15:30 CEST
Foyer
  Break

15:30 CEST

Dividing Timelines to Verify seL4 Applications
Thursday September 4, 2025 15:30 - 16:15 CEST
CD Ballroom
Speakers
TS

Thomas Sewell

UNSW Sydney
Thursday September 4, 2025 15:30 - 16:15 CEST
CD Ballroom
  Presentation Session

16:15 CEST

Verifying Device Drivers with Pancake
Thursday September 4, 2025 16:15 - 16:45 CEST
CD Ballroom
Speakers
JZ

Junming Zhao

UNSW Sydney
Thursday September 4, 2025 16:15 - 16:45 CEST
CD Ballroom
  Presentation Session
 
Friday, September 5
 

08:30 CEST

Registration
Friday September 5, 2025 08:30 - 09:00 CEST
Foyer
Friday September 5, 2025 08:30 - 09:00 CEST
Foyer
  Registration

09:00 CEST

Keynote
Friday September 5, 2025 09:00 - 09:50 CEST
CD Ballroom
Speakers
SJ

Sebastian Jester

Cyberagentur
Friday September 5, 2025 09:00 - 09:50 CEST
CD Ballroom
  Keynote Session

09:00 CEST

Expo Hall
Friday September 5, 2025 09:00 - 13:30 CEST
Friday September 5, 2025 09:00 - 13:30 CEST
  Expo Hall

09:50 CEST

Announcements
Friday September 5, 2025 09:50 - 10:00 CEST
CD Ballroom
Speakers
JA

June Andronick

seL 4 Foundation
Friday September 5, 2025 09:50 - 10:00 CEST
CD Ballroom
  General Session

10:00 CEST

Break
Friday September 5, 2025 10:00 - 10:30 CEST
Foyer
Friday September 5, 2025 10:00 - 10:30 CEST
Foyer
  Break

10:30 CEST

Demystifying the seL4 Specification
Friday September 5, 2025 10:30 - 11:30 CEST
CD Ballroom
Speakers
avatar for Matt Brecknell

Matt Brecknell

Verification Engineer, Kry10
Matthew is a formal verification practitioner. He has made significant contributions to the seL4 verification story, and is a member of the seL4 Foundation Technical Steering Committee. At Kry10, Matthew is developing the next generation of high-assurance remotely-managed seL4-based... Read More →
MP

Mathieu Paturel

UNSW Sydney
Friday September 5, 2025 10:30 - 11:30 CEST
CD Ballroom
  Deep Dive

11:30 CEST

A Deep Dive into seL4’s Binary Verification Story
Friday September 5, 2025 11:30 - 12:00 CEST
CD Ballroom
Speakers
avatar for Nick Spinale

Nick Spinale

Collas Group
Friday September 5, 2025 11:30 - 12:00 CEST
CD Ballroom
  Presentation Session

12:00 CEST

Lunch
Friday September 5, 2025 12:00 - 13:30 CEST
Restaurant
Friday September 5, 2025 12:00 - 13:30 CEST
Restaurant
  Break

13:30 CEST

BoFs
Friday September 5, 2025 13:30 - 14:15 CEST
BCD Ballroom
Friday September 5, 2025 13:30 - 14:15 CEST
BCD Ballroom
  Panel Discussions and Birds of a Feather

14:15 CEST

BoFs
Friday September 5, 2025 14:15 - 15:00 CEST
BCD Ballroom
Friday September 5, 2025 14:15 - 15:00 CEST
BCD Ballroom
  Panel Discussions and Birds of a Feather

15:00 CEST

BoF Wrap-up
Friday September 5, 2025 15:00 - 15:15 CEST
CD Ballroom
Speakers
RV

Robert VanVossen

Embedded Systems Engineer, Dornerworks
I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.
Friday September 5, 2025 15:00 - 15:15 CEST
CD Ballroom
  Panel Discussions and Birds of a Feather

15:15 CEST

Concluding Remarks
Friday September 5, 2025 15:15 - 15:30 CEST
CD Ballroom
Speakers
RV

Robert VanVossen

Embedded Systems Engineer, Dornerworks
I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.
Friday September 5, 2025 15:15 - 15:30 CEST
CD Ballroom
  General Session
 

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend !
Explore why organizers choose Sched • Success stories
Sched forms • Call for papers • Badges • Conferences • Event App • Scheduling • Event registration • Event ticketing
© 2025. SCHED LLC - All rights reserved - Helping events since 2008
Event Planning App • Privacy • Terms
Share Modal

Share this link via

Or copy link

Filter sessions
Apply filters to sessions.
Wednesday, September 3
Thursday, September 4
Friday, September 5
BCD Ballroom
CD Ballroom
Foyer
Restaurant
  • Break
  • Deep Dive
  • Expo Hall
  • General Session
  • Keynote Session
  • Panel Discussions and Birds of a Feather
  • Presentation Session
  • Registration