- Leveraging Rust for Lightweight OS Correctness (Ramla Ijaz, Ramla Ijaz, Ramla Ijaz)
- Atmosphere: Towards Practical Verified Kernels in Rust (Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev)
- Evolving Operating Systems Towards Secure Kernel-Driver Interfaces (Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger)
- Beyond isolation: OS verification as a foundation for correct applications
- FlexOS: Towards Flexible OS Isolation (Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier)
- RedLeaf: Isolation and Communication in a Safe Operating System
- Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
- KSplit: Automating Device Driver Isolation