1 citations · 3 across the 4 of their papers we have counts for
4 papers
Ditto: Elastic Confidential VMs with Secure and Dynamic CPU Scaling
Shixuan Zhao, Mengyuan Li, Mengjia Yan +1
Confidential Virtual Machines (CVMs) are a type of VMbased Trusted Execution Environments (TEEs) designed to enhance the security of cloud-based VMs, safeguarding them even from ma…
RTL Verification for Secure Speculation Using Contract Shadow Logic
Qinhan Tan, Yuheng Yang, Thomas Bourgeat +2
Modern out-of-order processors face speculative execution attacks. Despite various proposed software and hardware mitigations to prevent such attacks, new attacks keep arising from…
Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices
Mengyuan Li, Shashvat Srivastava, Mengjia Yan
Trusted I/O (TIO) is an appealing solution to improve I/O performance for confidential VMs (CVMs), with the potential to eliminate broad sources of I/O overhead. However, this pape…
Penetrating Shields: A Systematic Analysis of Memory Corruption Mitigations in the Spectre Era
Weon Taek Na, Joel S. Emer, Mengjia Yan
This paper provides the first systematic analysis of a synergistic threat model encompassing memory corruption vulnerabilities and microarchitectural side-channel vulnerabilities.…