2 papers
cs.PL2025
Verifying Device Drivers with Pancake
Junming Zhao, Miki Tanaka, Johannes à man Pohjola +10
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant d…
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…