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)

Peek-a-Walk: Leaking Secrets via Page Walk Side Channels. - Alan Wang 004; Boru Chen; Yingchen Wang; Christopher W. Fletcher; Daniel Genkin; David Kohlbrenner; Riccardo Paccagnella (SP, 2025)