Anton Burtsev

33 papers A* 4A 9B 2Journal 6Unranked 11
YearRankTypeTitle / 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
2025 A conf
Understanding the Security Impact of CHERI on the Operating System Kernel.
ACSAC
Zhaofeng Li, Jerry Zhang, Joshua Tlatelpa-Agustin, Xiangdong Chen, Anton Burtsev
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
2024 — conf
Veld: Verified Linux Drivers.
KISV@SOSP
Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Anton Burtsev
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 A* conf
Advances in Cryptography and Secure Hardware for Data Outsourcing.
ICDE
Shantanu Sharma, Anton Burtsev, Sharad Mehrotra
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
2017 — conf
CapNet: security and least authority in a capability-enabled cloud.
SoCC
Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus E. van der Merwe
2017 A conf
System Programming in Rust: Beyond Safety.
HotOS
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
2017 J jnl
System Programming in Rust: Beyond Safety.
ACM SIGOPS Oper. Syst. Rev.
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
2016 B conf
Abstractions for Practical Virtual Machine Replay.
VEE
Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr
2015 J jnl
Lightweight Capability Domains: Towards Decomposing the Linux Kernel.
ACM SIGOPS Oper. Syst. Rev.
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
2015 — conf
Lightweight capability domains: towards decomposing the Linux kernel.
PLOS@SOSP
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
2014 J jnl
Weir: a streaming language for performance analysis.
ACM SIGOPS Oper. Syst. Rev.
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci
2013 — —
Deterministic Systems Analysis.
Anton Burtsev
2013 — conf
Weir: a streaming language for performance analysis.
PLOS@SOSP
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci
2009 — conf
Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances.
USENIX ATC
Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Kaladhar Voruganti, Garth R. Goodson
2009 A conf
Transparent checkpoints of closed distributed systems in Emulab.
EuroSys
Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau