Gernot Heiser
Top View
- From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
- Future Directions in the Evolution of the L4 Microkernel
- Sel4: from General Purpose to a Proof of Information Flow Enforcement
- Secure Software Components Leveraging the Sel4 Microkernel
- The Role of Language Technology in Trustworthy Operating Systems Gernot Heiser NICTA and University of New South Wales Sydney, Australia
- Correct OS Kernel? Proof? Done!
- Safe and Automatic Live Update
- From Mach to Sel4 (Lecture 18, Cs262a)
- Isolation and Beyond: Challenges for System Security
- Sel4: Verified Operating System for the Real World
- Cubicleos: a Library OS with Software Componentisation For
- Local Operating Systems R&D and Opportunities For
- The Sel4 Microkernel an Introduction
- Sel4 Whitepaper [Pdf]
- Time Protection: the Missing OS Abstraction
- Operating Systems & Virtualisation Security
- USENIX December Proof 2
- The Ghost in the Machine: Don't Let It