Revizor: Automatic Detection of Speculative Vulnerabilities (Lightning Talk for ASPLOS 2022)

Lightning Talk for ASPLOS 2022
Speaker: Oleksii Oleksenko
Video: Neeltje Berger, Zane Colquhoun

Speculative vulnerabilities such as Spectre and Meltdown can be exploited to leak information across security domains via side-channels. Revizor is a principled tool to automatically detect such speculative vulnerabilities in commercial black-box CPUs.

Paper: Revizor: Testing Black-box CPUs against Speculation Contracts (opens in new tab)

Conference presentation: ASPLOS’22 – Session 2B | Revizor: Testing Black-box CPUs against Speculation Contracts (opens in new tab)

Code on GitHub: Revizor: Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs (opens in new tab)