3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.OS2025
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
Gernot Heiser, Ivan Velickovic, Peter Chubb +12
We present LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verificatio…
cs.OS2012★ 3 cited
Automatic Verification of Message-Based Device Drivers
Sidney Amani, Peter Chubb, Alastair F. Donaldson +3
We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver…