Revizor: testing black-box CPUs against speculation contracts.

Oleksii Oleksenko, Christof Fetzer, Boris Kpf, Mark Silberstein

Browse the full ASPLOS paper archive.