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.
Type: Presentation Session clear filter
Wednesday, September 3
 

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

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

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

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

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
 

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
 

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
Červený Jelen
Foyer
Restaurant
  • Break
  • Deep Dive
  • Expo Hall
  • General Session
  • Keynote Session
  • Panel Discussions and Birds of a Feather
  • Presentation Session
  • Registration