Session: Fri: 10:45:00 - 12:25:00 in Green Theatre CB07.02.25

Session Chair
Alison Chaiken
Session Runner
Session runner not assigned.

Slots

2018-01-26 talk (10:45:00 - 11:30:00) Green Theatre CB07.02.25 #185 Flying autonomous aircraft: Mixed-criticality support in seL4 (Gernot Heiser)
2018-01-26 talk (11:40:00 - 12:25:00) Green Theatre CB07.02.25 #436 The State of Kernel Self-Protection (Kees Cook)