Publications

TREVEX: A Black-Box Detection Framework For Data-Flow Transient Execution Vulnerabilities
PDF Cite Code Blog
TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads
PDF Cite Code Website
SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs
PDF Cite Code Video
Taming the Linux Memory Allocator for Rapid Prototyping
PDF Cite Code Slides
ShadowLoad: Injecting State into Hardware Prefetchers
PDF Cite Code
Reviving Meltdown 3a
PDF Cite Code
Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks
PDF Cite Code
A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs
PDF Cite Code Video
(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channels
PDF Cite Code Slides Video
EOSAFE: Security Analysis of EOSIO Smart Contracts
PDF Cite Slides Video