Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. - Zirui Neil Zhao; Houxiang Ji; Mengjia Yan 001; Jiyong Yu; Christopher W. Fletcher; Adam Morrison 001; Darko Marinov; Josep Torrellas (MICRO, 2020)

Jamais vu: thwarting microarchitectural replay attacks. - Dimitrios Skarlatos 002; Zirui Neil Zhao; Riccardo Paccagnella; Christopher W. Fletcher; Josep Torrellas (ASPLOS, 2021)

Speculative interference attacks: breaking invisible speculation schemes. - Mohammad Behnia; Prateek Sahu; Riccardo Paccagnella; Jiyong Yu; Zirui Neil Zhao; Xiang Zou; Thomas Unterluggauer; Josep Torrellas; Carlos V. Rozas; Adam Morrison 001; Frank McKeen; Fangfei Liu; et al. (ASPLOS, 2021)

PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions. - Yingjie Fu; Jonathan Osei-Owusu; Angello Astorga; Zirui Neil Zhao; Wei Zhang 004; Tao Xie 001 (SPLASH-E, 2021)

Pinned loads: taming speculative loads in secure processors. - Zirui Neil Zhao; Houxiang Ji; Adam Morrison 001; Darko Marinov; Josep Torrellas (ASPLOS, 2022)

Binoculars: Contention-Based Side-Channel Attacks Exploiting the Page Walker. - Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher; Josep Torrellas (USENIX Security Symposium, 2022)

Untangle: A Principled Framework to Design Low-Leakage, High-Performance Dynamic Partitioning Schemes. - Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher; Josep Torrellas (ASPLOS (3), 2023)

Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures. - Rutvik Choudhary; Alan Wang 004; Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher (CCS, 2023)

DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version). - Rutvik Choudhary; Alan Wang 004; Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher (CoRR, 2023)

Everywhere All at Once: Co-Location Attacks on Public Cloud FaaS. - Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher; Josep Torrellas (ASPLOS (1), 2024)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud. - Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher; Josep Torrellas (ASPLOS (2), 2024)

Perspective: A Principled Framework for Pliable and Secure Speculation in Operating Systems. - Tae Hoon Kim; David Rudo; Kaiyang Zhao 002; Zirui Neil Zhao; Dimitrios Skarlatos 002 (ISCA, 2024)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version). - Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher; Josep Torrellas (CoRR, 2024)

Controlled Preemption: Amplifying Side-Channel Attacks from Userspace. - Yongye Zhu; Boru Chen; Zirui Neil Zhao; Christopher W. Fletcher (ASPLOS (2), 2025)