2023
-
Our paper on developing ephemeral virtual TPMs for enabling remote attestation in confidential computing Remote attestation of confidential VMs using ephemeral vTPMs won the Distinguished paper with artifacts award at ACSAC'23 (pdf)
-
Our paper on verifying operating systems using Verus Atmosphere: Towards Practical Verified Kernels in Rust got accepted to KISV'23 (pdf)
-
Our position paper on strengthening the isolation boundary Evolving Operating System Kernels Towards Secure Kernel-Driver Interface got accepted to HotOS'23 (pdf)
-
Amazon Research Award, Atmosphere: leveraging language safety and operating system design for verification Anton Burtsev (PI). April 2023. $50,000
-
National Science Foundation, Formal Methods In the Field: Safe, Efficient Persistent Memory Systems Anton Burtsev (co-PI). October 2022 - September 2025. My team: $352,700
-
Our high-performance hashtable paper DRAMHiT: A Hash Table architected for the Speed of DRAM got accepted to Eurosys'23 (pdf)
2022
- Our paper on kernel isolation KSplit: Automating Device Driver Isolation got accepted to OSDI'22 (pdf, video)
2021
-
Two papers got accepted to PLOS'21.
-
Tianjiao Huang receives ICS Outstanding Contribution to Research, 2021 award for his outstanding contributions to research
-
Anton Burtsev receives University of California, Irvine Chancellor’s Award for Excellence in Undergraduate Research Mentorship, 2021