2024
Zhaofeng Li, Vikram Narayanan, Xiangdong Chen, Jerry Zhang, Anton Burtsev. Rust for Linux: Understanding Security Impact of Rust on the Linux Kernel. In Proceedings of the Annual Computer Security Applications Conference (ACSAC'24), December 2024.
Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Anton Burtsev. Veld: Verified Linux Drivers. In Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification (KISV 2024), November 2024.
Xiangdong Chen, Zhaofeng Li, Tirth Jain, Vikram Narayanan, Anton Burtsev. Limitations and Opportunities of Modern Hardware Isolation Mechanisms. In Proceedings of the 2024 USENIX Annual Technical Conference (USENIX ATC), July 2024.
2023
Vikram Narayanan, Claudio Carvalho*, Angelo Ruocco*, Gheorghe Almási*, James Bottomley*, Mengmei Ye*, Tobin Feldman-Fitzthum*, Daniele Buono*, Hubertus Franke*, and Anton Burtsev. (*IBM Research) Remote attestation of confidential VMs using ephemeral vTPMs. In Proceedings of the 39th Annual Computer Security Applications Conference (ACSAC 2023), December 2023.
Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan and Anton Burtsev. Atmosphere: Towards Practical Verified Kernels in Rust. In Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification (KISV 2023), October 2023.
Arthur Lafrance (University of California, Irvine), David Detweiler (University of California, Irvine), Zhaofeng Li, Xiangdong Chen, Vikram Narayanan and Anton Burtsev. Extending Rust with Support for Zero Copy Communication. In Proceedings of the 12th Workshop on Programming Languages and Operating Systems (PLOS 2023), October 2023.
Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, and Trent Jaeger. Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. In Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HOTOS ‘23). June 2023.
Vikram Narayanan and Anton Burtsev. The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation. In IEEE Security & Privacy Magazine vol. 21, no. 3, pp. 16-26, May-June 2023.
Vikram Narayanan, David Detweiler, Tianjiao Huang, and Anton Burtsev. DRAMHiT: A Hash Table architected for the Speed of DRAM. In Proceedings of the 18th European Conference on Computer Systems (EuroSys ‘23), May 2023.
2022
Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, and Anton Burtsev. KSplit: Automating Device Driver Isolation. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘22), July 2022.
2021
Zhaofeng Li, Tianjiao Huang, Vikram Narayanan and Anton Burtsev (University of California, Irvine). Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. In Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS 2021), October 2021.
Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan (University of California, Irvine) and Gerd Zellweger (VMware Research). Isolation in Rust: What is Missing?. In Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS 2021), October 2021.
2020
Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev. RedLeaf: Isolation and Communication in a Safe Operating System. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI), November 2020.
Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, and Anton Burtsev. Lightweight Kernel Isolation with Virtualization and VM Functions. In Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 20), March 2020. [Best Paper Award]
2019
Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scott Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, and Anton Burtsev. LXDs: Towards Isolation of Kernel Subsystems. In 2019 USENIX Annual Technical Conference (USENIX ATC 19), July 2019.
Vikram Narayanan (University of California, Irvine), Marek S. Baranowski (University of Utah), Leonid Ryzhyk (VMware Research), Zvonimir Rakamarić (University of Utah), Anton Burtsev (University of California, Irvine). RedLeaf: Towards An Operating System for Safe and Verified Firmware. In Proceedings of the 17th Workshop on Hot Topics in Operating Systems (HotOS), May 2019.