Anton Burtsev

According to our database, Anton Burtsev authored at least 25 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Limitations and Opportunities of Modern Hardware Isolation Mechanisms.

Xiangdong Chen, Zhaofeng Li, Tirth Jain, Vikram Narayanan, Anton Burtsev

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

Veld: Verified Linux Drivers.

Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Anton Burtsev

Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024

2023

The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation.

Vikram Narayanan, Anton Burtsev

IEEE Secur. Priv., 2023

Remote attestation of SEV-SNP confidential VMs using e-vTPMs.

Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev

CoRR, 2023

Extending Rust with Support for Zero Copy Communication.

Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

Atmosphere: Towards Practical Verified Kernels in Rust.

Xiangdong Chen, Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces.

Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

DRAMHiT: A Hash Table Architected for the Speed of DRAM.

Vikram Narayanan, David Detweiler, Tianjiao Huang, Anton Burtsev

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Remote attestation of confidential VMs using ephemeral vTPMs.

Vikram Narayanan, Cláudio Carvalho, Angelo Ruocco, Gheorghe Almási, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev

Proceedings of the Annual Computer Security Applications Conference, 2023

2022

KSplit: Automating Device Driver Isolation.

Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Understanding the Overheads of Hardware and Language-Based IPC Mechanisms.

Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

Isolation in Rust: What is Missing?

Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2020

Lightweight kernel isolation with virtualization and VM functions.

Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev

Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

RedLeaf: Isolation and Communication in a Safe Operating System.

Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Advances in Cryptography and Secure Hardware for Data Outsourcing.

Shantanu Sharma, Anton Burtsev, Sharad Mehrotra

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2019

LXDs: Towards Isolation of Kernel Subsystems.

Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scotty Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, Anton Burtsev

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2017

System Programming in Rust: Beyond Safety.

Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk

ACM SIGOPS Oper. Syst. Rev., 2017

CapNet: security and least authority in a capability-enabled cloud.

Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus E. van der Merwe

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016

Abstractions for Practical Virtual Machine Replay.

Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr

Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

2015

Lightweight Capability Domains: Towards Decomposing the Linux Kernel.

Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev

ACM SIGOPS Oper. Syst. Rev., 2015

2014

Weir: a streaming language for performance analysis.

Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci

ACM SIGOPS Oper. Syst. Rev., 2014

2013

Deterministic Systems Analysis.

Anton Burtsev

PhD thesis, 2013

2009

Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances.

Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Kaladhar Voruganti, Garth R. Goodson

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Transparent checkpoints of closed distributed systems in Emulab.

Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009