ASPLOS'22 - Session 2B - Revizor: Testing Black-box CPUs against Speculation Contracts

ASPLOS'22: The 27th International Conference on Architectural Support for Programming Languages and Operating Systems

Session 2B: Privacy and Software Security
Session Chair: Baris Kasikci, University of Michigan

Title: Revizor: Testing Black-box CPUs against Speculation Contracts
Presented by: Oleksii Oleksenko (TU Dresden)
Authors: Oleksii Oleksenko (TU Dresden), Christof Fetzer (TU Dresden), Boris Köpf (Microsoft Research), Mark Silberstein (Technion)