Zirui Neil Zhao

According to our database, Zirui Neil Zhao authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version).

Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas

CoRR, 2024

Perspective: A Principled Framework for Pliable and Secure Speculation in Operating Systems.

Tae Hoon Kim, David Rudo, Kaiyang Zhao, Zirui Neil Zhao, Dimitrios Skarlatos

Proceedings of the 51st ACM/IEEE Annual International Symposium on Computer Architecture, 2024

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud.

Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

Everywhere All at Once: Co-Location Attacks on Public Cloud FaaS.

Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version).

Rutvik Choudhary, Alan Wang, Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher

CoRR, 2023

Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.

Rutvik Choudhary, Alan Wang, Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Untangle: A Principled Framework to Design Low-Leakage, High-Performance Dynamic Partitioning Schemes.

Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Binoculars: Contention-Based Side-Channel Attacks Exploiting the Page Walker.

Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas

Proceedings of the 31st USENIX Security Symposium, 2022

Pinned loads: taming speculative loads in secure processors.

Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

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, Tao Xie

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 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, Frank McKeen, Fangfei Liu, Ron Gabor, Christopher W. Fletcher, Abhishek Basak, Alaa R. Alameldeen

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

Jamais vu: thwarting microarchitectural replay attacks.

Dimitrios Skarlatos, Zirui Neil Zhao, Riccardo Paccagnella, Christopher W. Fletcher, Josep Torrellas

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

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

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020