KISV@SOSP

Publications

2023

Yi Chien, Vlad-Andrei Badoiu, Yudi Yang, Yuqian Huo, Kelly Kaoudis, Hugo Lefeuvre, Pierre Olivier, Nathan Dautenhahn
CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces. KISV@SOSP (2023)
Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev
Atmosphere: Towards Practical Verified Kernels in Rust. KISV@SOSP (2023)
Ramla Ijaz, Kevin Boos, Lin Zhong
Leveraging Rust for Lightweight OS Correctness. KISV@SOSP (2023)
Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti
The K2 Architecture for Trustworthy Hardware Security Modules. KISV@SOSP (2023)
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023 KISV@SOSP (2023)
Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe
Specifying the de-facto OS of a production SoC. KISV@SOSP (2023)
Leon Schuermann, Arun Thomas, Amit Levy
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. KISV@SOSP (2023)