Vikram Narayanan

19 papers A* 3A 6B 1Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Atmosphere: Practical Verified Kernels with Rust and Verus. SOSP Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev
2025	A	`conf`	Beyond Driver Isolation - Triaging Threats against Driver Isolation. ACSAC Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan
2024	—	`conf`	Limitations and Opportunities of Modern Hardware Isolation Mechanisms. USENIX ATC Xiangdong Chen, Zhaofeng Li, Tirth Jain, Vikram Narayanan, Anton Burtsev
2024	A	`conf`	Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel. ACSAC Zhaofeng Li, Vikram Narayanan, Xiangdong Chen, Jerry Zhang, Anton Burtsev
2024	J	`jnl`	SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks. CoRR Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan
2023	—	`conf`	Atmosphere: Towards Practical Verified Kernels in Rust. KISV@SOSP Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev
2023	A	`conf`	DRAMHiT: A Hash Table Architected for the Speed of DRAM. EuroSys Vikram Narayanan, David Detweiler, Tianjiao Huang, Anton Burtsev
2023	A	`conf`	Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. HotOS Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger
2023	—	`conf`	Extending Rust with Support for Zero Copy Communication. PLOS@SOSP Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev
2023	J	`jnl`	Remote attestation of SEV-SNP confidential VMs using e-vTPMs. CoRR Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev
2023	A	`conf`	Remote attestation of confidential VMs using ephemeral vTPMs. ACSAC Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev
2023	J	`jnl`	The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation. IEEE Secur. Priv. Vikram Narayanan, Anton Burtsev
2022	A*	`conf`	KSplit: Automating Device Driver Isolation. OSDI Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev
2021	—	`conf`	Isolation in Rust: What is Missing? PLOS@SOSP Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger
2021	—	`conf`	Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. PLOS@SOSP Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev
2020	B	`conf`	Lightweight kernel isolation with virtualization and VM functions. VEE Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev
2020	A*	`conf`	RedLeaf: Isolation and Communication in a Safe Operating System. OSDI Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
2019	—	`conf`	LXDs: Towards Isolation of Kernel Subsystems. USENIX ATC Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scotty Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, Anton Burtsev
2019	A	`conf`	RedLeaf: Towards An Operating System for Safe and Verified Firmware. HotOS Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev