Anton Burtsev portrait
  • Assistant Professor, School Of Computing

Publications

  • Vikram Narayanan & Remote attestation of confidential VMs using ephemeral vTPMs. Vikram Narayanan, Claudio Carvalho, Angelo Ruocco, Gheorghe Almasi, James Bottomley, Mengmei Ye, Tobin Feldman-Fitzthum, Daniele Buono, Hubertus Franke, Anton Burtsev. (2023). Remote attestation of confidential VMs using ephemeral vTPMs. ACSAC '23: Proceedings of the 39th Annual Computer Security Applications Conference. Published, 12/04/2023.
  • Xiangdong Chen & Zhaofeng Li, Lukas Mesicek, Vikram Narayanan, Anton Burtsev (2023). Atmosphere: Towards Practical Verified Kernels in Rust. KISV '23: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification. Published, 10/23/2023.
  • Arthur Lafrance & David Detweiler, Zhaofeng Li, Xiang- dong Chen, Vikram Narayanan, Anton Burtsev (2023). Extending Rust with Support for Zero Copy Communication. Workshop on Programming Languages and Operating Systems (PLOS). Published, 10/23/2023.
  • Anton Burtsev & Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger (2023). Evolving Operating System Kernels Towards Secure Kernel-Driver Interface. HOTOS '23: Proceedings of the 19th Workshop on Hot Topics in Operating Systems. Published, 06/22/2023.
  • Vikram Narayanan & David Detweiler, Tianjiao Huang, and Anton Burtsev (2023). DRAMHiT: A Hash Table architected for the Speed of DRAM. 18th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys’23). Published, 05/08/2023.
  • Vikram Narayanan (2023). Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation. Anton Burtsev. Published, 04/26/2023.
  • Yongzhe Huang & Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, and Anton Burtsev (2022). KSplit: Automating Device Driver Isolation. 16th USENIX Symposium on Operating Systems Design and Implementation. Published, 07/11/2022.
  • Lightweight Capability Domains: Towards Decomposing the Linux Kernel. Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, and Anton Burtsev. In SIGOPS Operating Systems Review, Volume 49 Issue 2, December 2015. Published, 12/01/2015.
    http://dl.acm.org/citation.cfm?id=2883601
  • Lightweight Capability Domains: Towards Decomposing the Linux Kernel. Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, and Anton Burtsev. In 8th Workshop on Programming Languages and Operating Systems (PLOS 2013), October 2015. Published, 10/01/2015.
    http://www.cs.utah.edu/~aburtsev/doc/plos15-lcds.p...

Presentations

  • Evolving Operating System Kernels Towards Secure Kernel-Driver Interface. Conference Paper, Refereed, Presented, 06/22/2023.
  • DRAMHiT: A Hash Table architected for the Speed of DRAM. Conference Paper, Refereed, Presented, 05/08/2023.
  • Lightweight Capability Domains: Decomposing Commodity Kernels for Security. Samsung Research America, October 2015. Other, Presented, 10/08/2015.
    http://www.cs.utah.edu/~aburtsev/doc/samsung15-tal...

Software Titles

  • KSplit Static Analysis Framework for Isolation of Device Drivers in the Linux Kernel. KSplit, a new framework for isolating device drivers in the Linux kernel. KSplit performs a collection of static analyses on the source code of the kernel and the driver to generate the synchronization code that is required to execute the driver in isolation. https://mars-research.github.io/projects/ksplit/. Release Date: 08/01/2022.