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
arrow_back View All Dates
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
 

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.
Filtered by Date - 
Clear filter
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