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)

Date: