Revizor: testing black-box CPUs against speculation contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Abstract
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.
Topics & Concepts
SpeculationComputer scienceBlack boxSpeculative executionState (computer science)Computer securityEmbedded systemOperating systemProgramming languageFinanceBusinessArtificial intelligenceSecurity and Verification in ComputingAdvanced Malware Detection TechniquesRadiation Effects in Electronics