TY  - RPRT
TI  - Revizor: Testing Black-box CPUs against Speculation Contracts
AU  - Oleksii Oleksenko
AU  - Christof Fetzer
AU  - Boris Köpf
AU  - Mark Silberstein
PY  - 2022
UR  - https://arxiv.org/abs/2105.06872
ID  - 2105.06872
ER  -