| 2026 | ASPLOS | Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification. | Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2026 | SP | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation. | Tingzhen Dong, Qinhan Tan, Kunpeng Wang, Thomas Bourgeat, Yuheng Yang, Sharad Malik, Yu-Wei Fan, Mengjia Yan |
| 2026 | SP | Fractal: An Operating System Designed for Microarchitecture Reverse Engineering. | Joseph Ravichandran, Mengjia Yan |
| 2026 | SP | Defeating Transient Execution Attacks by Limiting Secret Reachability Through Register Hiding and ShadowCFI. | Danil Trujillo, Jagadish Kotra, David Kaplan, Mengjia Yan |
| 2026 | SP | INSIGHT: Automatic Generation of Explanations for Efficient Identification of Hardware Bugs and Underspecifications. | Vincent Quentin Ulitzsch, Alessandro Bertani, Peter W. Deutsch, David Langus Rodriguez, Kelly Xu, Aarti Gupta, Sharad Malik, Mengjia Yan |
| 2025 | ASPLOS | RTL Verification for Secure Speculation Using Contract Shadow Logic. | Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2025 | CCS | Securing Cryptographic Software via Typed Assembly Language. | Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan |
| 2025 | NDSS | Oreo: Protecting ASLR Against Microarchitectural Attacks. | Shixin Song, Joseph Zhang, Mengjia Yan |
| 2024 | AsiaCCS | SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments. | Mengyuan Li, Yuheng Yang, Guoxing Chen, Mengjia Yan, Yinqian Zhang |
| 2024 | MICRO | DelayAVF: Calculating Architectural Vulnerability Factors for Delay Faults. | Peter W. Deutsch, Vincent Quentin Ulitzsch, Sudhanva Gurumurthi, Vilas Sridharan, Joel S. Emer, Mengjia Yan |
| 2023 | ISCA | Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes. | Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan |
| 2023 | ISCA | Pensieve: Microarchitectural Modeling for Security Evaluation. | Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan |
| 2023 | MICRO | SecureLoop: Design Space Exploration of Secure DNN Accelerators. | Kyungmi Lee, Mengjia Yan, Joel S. Emer, Anantha P. Chandrakasan |
| 2022 | ASPLOS | DAGguise: mitigating memory timing side channels. | Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan |
| 2022 | ISCA | There's always a bigger fish: a clarifying analysis of a machine-learning-assisted side-channel attack. | Jack Cook, Jules Drean, Jonathan Behrens, Mengjia Yan |
| 2022 | ISCA | PACMAN: attacking ARM pointer authentication with speculative execution. | Joseph Ravichandran, Weon Taek Na, Jay Lang, Mengjia Yan |
| 2021 | NDSS | SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets. | Zhenxiao Qi, Qian Feng, Yueqiang Cheng, Mengjia Yan, Peng Li, Heng Yin, Tao Wei |
| 2020 | MICRO | CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches. | Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan |
| 2020 | MICRO | Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. | Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas |
| 2019 | ISCA | MicroScope: enabling microarchitectural replay attacks. | Dimitrios Skarlatos, Mengjia Yan, Bhargava Gopireddy, Read Sprabery, Josep Torrellas, Christopher W. Fletcher |
| 2019 | ISCA | SecDir: a secure directory to defeat directory side-channel attacks. | Mengjia Yan, Jen-Yang Wen, Christopher W. Fletcher, Josep Torrellas |
| 2019 | MICRO | Research problems and opportunities in NoC-based side channel attacks and defenses: lessons learned from cache-based side channels. | Mengjia Yan |
| 2019 | MICRO | InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy (Corrigendum). | Mengjia Yan, Jiho Choi, Dimitrios Skarlatos, Adam Morrison, Christopher W. Fletcher, Josep Torrellas |
| 2019 | MICRO | Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data. | Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher |
| 2019 | SP | Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World. | Mengjia Yan, Read Sprabery, Bhargava Gopireddy, Christopher W. Fletcher, Roy H. Campbell, Josep Torrellas |
| 2018 | HPCA | Record-Replay Architecture as a General Security Framework. | Yasser Shalabi, Mengjia Yan, Nima Honarmand, Ruby B. Lee, Josep Torrellas |
| 2018 | ICPR | 3D Convolutional Generative Adversarial Networks for Detecting Temporal Irregularities in Videos. | Mengjia Yan, Xudong Jiang, Junsong Yuan |
| 2018 | ISCA | UCNN: Exploiting Computational Reuse in Deep Neural Networks via Weight Repetition. | Kartik Hegde, Jiyong Yu, Rohit Agrawal, Mengjia Yan, Michael Pellauer, Christopher W. Fletcher |
| 2018 | MICRO | InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy. | Mengjia Yan, Jiho Choi, Dimitrios Skarlatos, Adam Morrison, Christopher W. Fletcher, Josep Torrellas |
| 2017 | ISCA | Secure Hierarchy-Aware Cache Replacement Policy (SHARP): Defending Against Cache-Based Side Channel Attacks. | Mengjia Yan, Bhargava Gopireddy, Thomas Shull, Josep Torrellas |
| 2016 | MICRO | ReplayConfusion: Detecting cache-based covert channel attacks using record and replay. | Mengjia Yan, Yasser Shalabi, Josep Torrellas |