Mengjia Yan

48 papers A* 24A 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification.
ASPLOS (2)
Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2025 — conf
A Close Look at RMP Entry Caching and Its Security Implications in SEV-SNP.
HASP@MICRO
Alexis Bagia, Vincent Quentin Ulitzsch, Daniël Trujillo, Mengyuan Li, Mengjia Yan, Jean-Pierre Seifert
2025 J jnl
CaSA: End-to-End Quantitative Security Analysis of Randomly Mapped Caches.
IEEE Des. Test
Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan
2025 A* conf
Oreo: Protecting ASLR Against Microarchitectural Attacks.
NDSS
Shixin Song, Joseph Zhang, Mengjia Yan
2025 — conf
RTL Verification for Secure Speculation Using Contract Shadow Logic.
ASPLOS (1)
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2025 J jnl
Securing Cryptographic Software via Typed Assembly Language (Extended Version).
CoRR
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
2025 A* conf
Securing Cryptographic Software via Typed Assembly Language.
CCS
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
2025 — conf
SquareLoop: Explore Optimal Authentication Block Strategy for ML.
HASP@MICRO
Jan Strzeszynski, Jianming Tong, Kyungmi Lee, Nathan Xiong, Angshuman Parashar, Joel S. Emer, Tushar Krishna, Mengjia Yan
2024 J jnl
Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices.
CoRR
Mengyuan Li, Shashvat Srivastava, Mengjia Yan
2024 A* conf
DelayAVF: Calculating Architectural Vulnerability Factors for Delay Faults.
MICRO
Peter W. Deutsch, Vincent Quentin Ulitzsch, Sudhanva Gurumurthi, Vilas Sridharan, Joel S. Emer, Mengjia Yan
2024 J jnl
Ditto: Elastic Confidential VMs with Secure and Dynamic CPU Scaling.
CoRR
Shixuan Zhao, Mengyuan Li, Mengjia Yan, Zhiqiang Lin
2024 J jnl
Formal Verification for Secure Processors: A Guide for Computer Architects.
Computer
Mengjia Yan, Thomas Bourgeat, Sharad Malik
2024 J jnl
Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version).
CoRR
Shixin Song, Joseph Zhang, Mengjia Yan
2024 J jnl
RTL Verification for Secure Speculation Using Contract Shadow Logic.
CoRR
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2024 A conf
SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments.
AsiaCCS
Mengyuan Li, Yuheng Yang, Guoxing Chen, Mengjia Yan, Yinqian Zhang
2023 — conf
EntryBleed: A Universal KASLR Bypass against KPTI on Linux.
HASP@MICRO
William Liu, Joseph Ravichandran, Mengjia Yan
2023 A* conf
Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes.
ISCA
Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan
2023 J jnl
PACMAN: Attacking ARM Pointer Authentication With Speculative Execution.
IEEE Micro
Joseph Ravichandran, Weon Taek Na, Jay Lang, Mengjia Yan
2023 J jnl
Penetrating Shields: A Systematic Analysis of Memory Corruption Mitigations in the Spectre Era.
CoRR
Weon Taek Na, Joel S. Emer, Mengjia Yan
2023 A* conf
Pensieve: Microarchitectural Modeling for Security Evaluation.
ISCA
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan
2023 A* conf
SecureLoop: Design Space Exploration of Secure DNN Accelerators.
MICRO
Kyungmi Lee, Mengjia Yan, Joel S. Emer, Anantha P. Chandrakasan
2023 J jnl
There's Always a Bigger Fish: A Clarifying Analysis of a Machine-Learning-Assisted Side-Channel Attack.
IEEE Micro
Jack Cook, Jules Drean, Jonathan Behrens, Mengjia Yan
2022 A* conf
DAGguise: mitigating memory timing side channels.
ASPLOS
Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan
2022 A* conf
Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects.
USENIX Security Symposium
Miles Dai, Riccardo Paccagnella, Miguel Gomez-Garcia, John D. McCalpin, Mengjia Yan
2022 A* conf
PACMAN: attacking ARM pointer authentication with speculative execution.
ISCA
Joseph Ravichandran, Weon Taek Na, Jay Lang, Mengjia Yan
2022 A* conf
There's always a bigger fish: a clarifying analysis of a machine-learning-assisted side-channel attack.
ISCA
Jack Cook, Jules Drean, Jonathan Behrens, Mengjia Yan
2021 A* conf
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets.
NDSS
Zhenxiao Qi, Qian Feng, Yueqiang Cheng, Mengjia Yan, Peng Li, Heng Yin, Tao Wei
2021 J jnl
Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data.
Commun. ACM
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2020 A* conf
CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches.
MICRO
Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan
2020 A* conf
Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN Architectures.
USENIX Security Symposium
Mengjia Yan, Christopher W. Fletcher, Josep Torrellas
2020 J jnl
MicroScope: Enabling Microarchitectural Replay Attacks.
IEEE Micro
Dimitrios Skarlatos, Mengjia Yan, Bhargava Gopireddy, Read Sprabery, Josep Torrellas, Christopher W. Fletcher
2020 A* conf
Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis.
MICRO
Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas
2020 J jnl
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data.
IEEE Micro
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2019 A* conf
Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World.
IEEE Symposium on Security and Privacy
Mengjia Yan, Read Sprabery, Bhargava Gopireddy, Christopher W. Fletcher, Roy H. Campbell, Josep Torrellas
2019 — —
Cache-based side channels: Modern attacks and defenses
Mengjia Yan
2019 A* conf
InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy (Corrigendum).
MICRO
Mengjia Yan, Jiho Choi, Dimitrios Skarlatos, Adam Morrison, Christopher W. Fletcher, Josep Torrellas
2019 A* conf
MicroScope: enabling microarchitectural replay attacks.
ISCA
Dimitrios Skarlatos, Mengjia Yan, Bhargava Gopireddy, Read Sprabery, Josep Torrellas, Christopher W. Fletcher
2019 — conf
Research problems and opportunities in NoC-based side channel attacks and defenses: lessons learned from cache-based side channels.
NoCArc@MICRO
Mengjia Yan
2019 A* conf
SecDir: a secure directory to defeat directory side-channel attacks.
ISCA
Mengjia Yan, Jen-Yang Wen, Christopher W. Fletcher, Josep Torrellas
2019 A* conf
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data.
MICRO
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2018 J jnl
Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN Architectures.
CoRR
Mengjia Yan, Christopher W. Fletcher, Josep Torrellas
2018 A* conf
InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy.
MICRO
Mengjia Yan, Jiho Choi, Dimitrios Skarlatos, Adam Morrison, Christopher W. Fletcher, Josep Torrellas
2018 A* conf
Record-Replay Architecture as a General Security Framework.
HPCA
Yasser Shalabi, Mengjia Yan, Nima Honarmand, Ruby B. Lee, Josep Torrellas
2018 A* conf
UCNN: Exploiting Computational Reuse in Deep Neural Networks via Weight Repetition.
ISCA
Kartik Hegde, Jiyong Yu, Rohit Agrawal, Mengjia Yan, Michael Pellauer, Christopher W. Fletcher
2018 J jnl
UCNN: Exploiting Computational Reuse in Deep Neural Networks via Weight Repetition.
CoRR
Kartik Hegde, Jiyong Yu, Rohit Agrawal, Mengjia Yan, Michael Pellauer, Christopher W. Fletcher
2017 A* conf
Secure Hierarchy-Aware Cache Replacement Policy (SHARP): Defending Against Cache-Based Side Channel Attacks.
ISCA
Mengjia Yan, Bhargava Gopireddy, Thomas Shull, Josep Torrellas
2016 A* conf
ReplayConfusion: Detecting cache-based covert channel attacks using record and replay.
MICRO
Mengjia Yan, Yasser Shalabi, Josep Torrellas
2013 — conf
Agent-Based Traffic Merging in Network-on-Chip.
IPDPS Workshops
Mengjia Yan, Weiwei Fu, Chao Wang, Tianzhou Chen, Li Liu