Revizor: testing black-box CPUs against speculation contracts
Oleksii Oleksenko, Christof W. Fetzer, Boris Köpf, Mark Silberstein · 2022
Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the tools for systematic testing of CPUs to find them.