Mengjia Yan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Linear Time Temporal Logic

Top Venues

Publications

Mengyuan Li, Yuheng Yang, Guoxing Chen, Mengjia Yan, Yinqian Zhang
SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments. AsiaCCS (2024)
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
RTL Verification for Secure Speculation Using Contract Shadow Logic. CoRR (2024)
Mengyuan Li, Shashvat Srivastava, Mengjia Yan
Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices. CoRR (2024)
Joseph Ravichandran, Weon Taek Na, Jay Lang, Mengjia Yan
PACMAN: Attacking ARM Pointer Authentication With Speculative Execution. IEEE Micro 43 (4) (2023)
Jack Cook, Jules Drean, Jonathan Behrens, Mengjia Yan
There's Always a Bigger Fish: A Clarifying Analysis of a Machine-Learning-Assisted Side-Channel Attack. IEEE Micro 43 (4) (2023)
Weon Taek Na, Joel S. Emer, Mengjia Yan
Penetrating Shields: A Systematic Analysis of Memory Corruption Mitigations in the Spectre Era. CoRR (2023)
Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan
Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes. ISCA (2023)
William Liu, Joseph Ravichandran, Mengjia Yan
EntryBleed: A Universal KASLR Bypass against KPTI on Linux. HASP@MICRO (2023)
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan
Pensieve: Microarchitectural Modeling for Security Evaluation. ISCA (2023)