1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AR2024★ 1 cited
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…
cs.CR2024
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…
cs.CR2023★ 1 cited
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.…