Anton Burtsev

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Topics

Virtual Machine

Operating System

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Xiangdong Chen, Zhaofeng Li, Tirth Jain, Vikram Narayanan, Anton Burtsev
Limitations and Opportunities of Modern Hardware Isolation Mechanisms. USENIX ATC (2024)
Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev
Remote attestation of SEV-SNP confidential VMs using e-vTPMs. CoRR (2023)
Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev
Extending Rust with Support for Zero Copy Communication. PLOS@SOSP (2023)
Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev
Remote attestation of confidential VMs using ephemeral vTPMs. ACSAC (2023)
Vikram Narayanan, David Detweiler, Tianjiao Huang, Anton Burtsev
DRAMHiT: A Hash Table Architected for the Speed of DRAM. EuroSys (2023)
Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev
Atmosphere: Towards Practical Verified Kernels in Rust. KISV@SOSP (2023)
Vikram Narayanan, Anton Burtsev
The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation. IEEE Secur. Priv. 21 (3) (2023)
Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. HotOS (2023)
Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev
KSplit: Automating Device Driver Isolation. OSDI (2022)
Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger
Isolation in Rust: What is Missing? PLOS@SOSP (2021)
Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev
Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. PLOS@SOSP (2021)
Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
RedLeaf: Isolation and Communication in a Safe Operating System. OSDI (2020)
Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev
Lightweight kernel isolation with virtualization and VM functions. VEE (2020)
Shantanu Sharma, Anton Burtsev, Sharad Mehrotra
Advances in Cryptography and Secure Hardware for Data Outsourcing. ICDE (2020)
Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scotty Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, Anton Burtsev
LXDs: Towards Isolation of Kernel Subsystems. USENIX Annual Technical Conference (2019)
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
RedLeaf: Towards An Operating System for Safe and Verified Firmware. HotOS (2019)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. HotOS (2017)
Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus E. van der Merwe
CapNet: security and least authority in a capability-enabled cloud. SoCC (2017)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. ACM SIGOPS Oper. Syst. Rev. 51 (1) (2017)
Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr
Abstractions for Practical Virtual Machine Replay. VEE (2016)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight Capability Domains: Towards Decomposing the Linux Kernel. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight capability domains: towards decomposing the Linux kernel. PLOS@SOSP (2015)
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci
Weir: a streaming language for performance analysis. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci
Weir: a streaming language for performance analysis. PLOS@SOSP (2013)
Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Kaladhar Voruganti, Garth R. Goodson
Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances. USENIX Annual Technical Conference (2009)
Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau
Transparent checkpoints of closed distributed systems in Emulab. EuroSys (2009)