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
Zikai Liu
ETH Zurich
Doctoral Student
https://zikailiu.com/about/
My Speakers Sessions
Wednesday
, October 16
11:00 AEDT
Generating Trustworthy Hardware/Software I2C Drivers for Board Management Controllers
Banksia + Bluegum
Zikai Liu
Thursday
, October 17
11:45 AEDT
seL4 as a CPU Driver for an OS for Real Computers
Banksia + Bluegum
Timothy Roscoe • Roman Meier • Ben Fiedler • Zikai Liu
Share Modal
Share this link via
Or copy link
Copy