Sched.com Conference Mobile Apps
seL4 Summit 2024
Attending this event?
Log In
or
log in with email →
Sign Up
or
sign up with email →
Completely free and you can…
Create a custom schedule.
Take it with you on mobile.
Get listed in the directory.
seL4 Summit 2024
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Search
menu
Menu
Schedule
Speakers
Search
← Back to schedule
Lions OS: Secure, Fast, Adaptable!
Tuesday October 15, 2024 13:30 - 13:45 AEDT
Banksia + Bluegum
Speakers
GH
Gernot Heiser
Trustworthy Systems, UNSW
Tuesday October 15, 2024 13:30 - 13:45 AEDT
Banksia + Bluegum
Presentations Sessions
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