STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves. - Yuan Xiao 001; Mengyuan Li 004; Sanchuan Chen; Yinqian Zhang (CCS, 2017)

Peeking Behind the Curtains of Serverless Platforms. - Liang Wang 023; Mengyuan Li 004; Yinqian Zhang; Thomas Ristenpart; Michael M. Swift (USENIX ATC, 2018)

Defeating Speculative-Execution Attacks on SGX with HyperRace. - Guoxing Chen; Mengyuan Li 004; Fengwei Zhang; Yinqian Zhang (DSC, 2019)

Exploiting Unprotected I/O Operations in AMD's Secure Encrypted Virtualization. - Mengyuan Li 004; Yinqian Zhang; Zhiqiang Lin 001; Yan Solihin (USENIX Security Symposium, 2019)

TLB Poisoning Attacks on AMD Secure Encrypted Virtualization. - Mengyuan Li 004; Yinqian Zhang; Huibo Wang; Kang Li; Yueqiang Cheng (ACSAC, 2021)

CrossLine: Breaking "Security-by-Crash" based Memory Isolation in AMD SEV. - Mengyuan Li 004; Yinqian Zhang; Zhiqiang Lin 001 (CCS, 2021)

CIPHERLEAKS: Breaking Constant-time Cryptography on AMD SEV via the Ciphertext Side Channel. - Mengyuan Li 004; Yinqian Zhang; Huibo Wang; Kang Li; Yueqiang Cheng (USENIX Security Symposium, 2021)

A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP. - Mengyuan Li 004; Luca Wilke; Jan Wichelmann; Thomas Eisenbarth 001; Radu Teodorescu; Yinqian Zhang (SP, 2022)

vSGX: Virtualizing SGX Enclaves on AMD SEV. - Shixuan Zhao 002; Mengyuan Li 004; Yinqian Zhang; Zhiqiang Lin 001 (SP, 2022)

PwrLeak: Exploiting Power Reporting Interface for Side-Channel Attacks on AMD SEV. - Wubing Wang; Mengyuan Li 004; Yinqian Zhang; Zhiqiang Lin 001 (DIMVA, 2023)

CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations. - Sen Deng; Mengyuan Li 004; Yining Tang; Shuai Wang 011; Shoumeng Yan; Yinqian Zhang (USENIX Security Symposium, 2023)

SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments. - Mengyuan Li 004; Yuheng Yang; Guoxing Chen; Mengjia Yan 001; Yinqian Zhang (AsiaCCS, 2024)

Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices. - Mengyuan Li 004; Shashvat Srivastava; Mengjia Yan 001 (CoRR, 2024)

Ditto: Elastic Confidential VMs with Secure and Dynamic CPU Scaling. - Shixuan Zhao 002; Mengyuan Li 004; Mengjia Yan 001; Zhiqiang Lin 001 (CoRR, 2024)