Sched.com Conference Mobile Apps
seL4 Summit 2025
seL4 Summit 2025
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.
Show More
Sign up
or
log in
to add sessions to your schedule and sync them to your phone or calendar.
Schedule
Speakers
Co-Authors
Search
Menu
Schedule
Speakers
Co-Authors
Search
← Back to schedule
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
Sign up
or
log in
to save this to your schedule, view media, leave feedback and see who's attending!
Tweet
Share
Share Modal
Share this link via
Or copy link
Copy
