2 papers
cs.CR2024
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…
cs.AR2024
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…