RedLeaf: Towards An Operating System for Safe and Verified Firmware. - Vikram Narayanan; Marek S. Baranowski; Leonid Ryzhyk; Zvonimir Rakamaric; Anton Burtsev (HotOS, 2019)

LXDs: Towards Isolation of Kernel Subsystems. - Vikram Narayanan; Abhiram Balasubramanian; Charlie Jacobsen; Sarah Spall; Scotty Bauer; Michael Quigley; Aftab Hussain 001; Abdullah Younis; Junjie Shen 001; Moinak Bhattacharyya; Anton Burtsev (USENIX ATC, 2019)

RedLeaf: Isolation and Communication in a Safe Operating System. - Vikram Narayanan; Tianjiao Huang; David Detweiler; Dan Appel; Zhaofeng Li 004; Gerd Zellweger; Anton Burtsev (OSDI, 2020)

Lightweight kernel isolation with virtualization and VM functions. - Vikram Narayanan; Yongzhe Huang; Gang Tan; Trent Jaeger; Anton Burtsev (VEE, 2020)

Isolation in Rust: What is Missing? - Anton Burtsev; Dan Appel; David Detweiler; Tianjiao Huang; Zhaofeng Li 004; Vikram Narayanan; Gerd Zellweger (PLOS@SOSP, 2021)

Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. - Zhaofeng Li 004; Tianjiao Huang; Vikram Narayanan; Anton Burtsev (PLOS@SOSP, 2021)

KSplit: Automating Device Driver Isolation. - Yongzhe Huang; Vikram Narayanan; David Detweiler; Kaiming Huang; Gang Tan; Trent Jaeger; Anton Burtsev (OSDI, 2022)

Remote attestation of confidential VMs using ephemeral vTPMs. - Vikram Narayanan; Cláudio Carvalho; Angelo Ruocco; Gheorghe Almási 001; James Bottomley; Mengmei Ye; Tobin Feldman-Fitzthum; Daniele Buono; Hubertus Franke; Anton Burtsev (ACSAC, 2023)

DRAMHiT: A Hash Table Architected for the Speed of DRAM. - Vikram Narayanan; David Detweiler; Tianjiao Huang; Anton Burtsev (EuroSys, 2023)

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. - Anton Burtsev; Vikram Narayanan; Yongzhe Huang; Kaiming Huang; Gang Tan; Trent Jaeger (HotOS, 2023)

Atmosphere: Towards Practical Verified Kernels in Rust. - Xiangdong Chen; Zhaofeng Li 004; Lukas Mesicek; Vikram Narayanan; Anton Burtsev (KISV@SOSP, 2023)

Extending Rust with Support for Zero Copy Communication. - Arthur Lafrance; David Detweiler; Zhaofeng Li 004; Xiangdong Chen; Vikram Narayanan; Anton Burtsev (PLOS@SOSP, 2023)

Remote attestation of SEV-SNP confidential VMs using e-vTPMs. - Vikram Narayanan; Cláudio Carvalho; Angelo Ruocco; Gheorghe Almási 001; James Bottomley; Mengmei Ye; Tobin Feldman-Fitzthum; Daniele Buono; Hubertus Franke; Anton Burtsev (CoRR, 2023)

The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation. - Vikram Narayanan; Anton Burtsev (IEEE Secur. Priv., 2023)

Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel. - Zhaofeng Li 004; Vikram Narayanan; Xiangdong Chen; Jerry Zhang; Anton Burtsev (ACSAC, 2024)

Limitations and Opportunities of Modern Hardware Isolation Mechanisms. - Xiangdong Chen; Zhaofeng Li 004; Tirth Jain; Vikram Narayanan; Anton Burtsev (USENIX ATC, 2024)

SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks. - Yongzhe Huang; Kaiming Huang; Matthew Ennis; Vikram Narayanan; Anton Burtsev; Trent Jaeger; Gang Tan (CoRR, 2024)