Revizor: testing black-box CPUs against speculation contracts

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022
ACM
Pages 226-239
2022
Note(s): side-channel, speculative execution, leakage contracts