Revizor: Testing Black-box CPUs against Speculation Contracts

Revizor: Testing Black-box CPUs against Speculation Contracts

14 May 2021

Christof Fetzer

Papers citing "Revizor: Testing Black-box CPUs against Speculation Contracts"

17 / 17 papers shown

Title
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing O. Oleksenko Marco Guarnieri Boris Köpf M. Silberstein 29 30 0 18 Jan 2023
Osiris: Automated Discovery of Microarchitectural Side Channels Daniel Weber A. Ibrahim Hamed Nemati Michael Schwarz C. Rossow 25 63 0 07 Jun 2021
Fuzzing Hardware Like Software Timothy Trippel Kang G. Shin A. Chernyakhovsky Garret Kelly Dominic Rizzo Matthew Hicks 69 92 0 03 Feb 2021
Speculative Leakage in ARM Cortex-A53 Hamed Nemati Roberto Guanciale Pablo Buiras Andreas Lindner 37 6 0 14 Jul 2020
Hardware-Software Contracts for Secure Speculation Marco Guarnieri Boris Köpf Jan Reineke Pepe Vila 66 89 0 06 Jun 2020
Validation of Abstract Side-Channel Models for Computer Architectures Hamed Nemati Pablo Buiras Andreas Lindner Roberto Guanciale Swen Jacobs 33 22 0 11 May 2020
SPEECHMINER: A Framework for Investigating and Measuring Speculative Execution Vulnerabilities Yuan Xiao Yinqian Zhang R. Teodorescu 20 45 0 01 Dec 2019
Constant-Time Foundations for the New Spectre Era Sunjay Cauligi Craig Disselkoen K. V. Gleissenthall Dean Tullsen D. Stefan Tamara Rezk Gilles Barthe 104 114 0 03 Oct 2019
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface O. Oleksenko Bohdan Trach M. Silberstein Christof Fetzer 32 82 0 24 May 2019
ZombieLoad: Cross-Privilege-Boundary Data Sampling Michael Schwarz Moritz Lipp D. Moghimi Jo Van Bulck Julian Stecklina Thomas Prescher Daniel Gruss 52 419 0 14 May 2019
SPECTECTOR: Principled Detection of Speculative Information Flows Marco Guarnieri Boris Köpf J. Morales Jan Reineke Andrés Sánchez 77 158 0 20 Dec 2018
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking M. R. Fadiheh D. Stoffel Clark W. Barrett S. Mitra W. Kunz 20 49 0 05 Dec 2018
DifFuzz: Differential Fuzzing for Side-Channel Analysis Shirin Nilizadeh Yannic Noller C. Păsăreanu 39 96 0 16 Nov 2018
ret2spec: Speculative Execution Using Return Stack Buffers G. Maisuradze C. Rossow SILM 22 254 0 26 Jul 2018
Spectre Returns! Speculation Attacks using the Return Stack Buffer Esmaeil Mohammadian Koruyeh Khaled N. Khasawneh Chengyu Song Nael B. Abu-Ghazaleh SILM AAML 36 185 0 20 Jul 2018
Speculative Buffer Overflows: Attacks and Defenses Vladimir Kiriansky Carl A. Waldspurger SILM 25 194 0 10 Jul 2018
Spectre Attacks: Exploiting Speculative Execution P. Kocher Daniel Genkin Daniel Gruss Werner Haas Michael Hamburg Moritz Lipp Stefan Mangard Thomas Prescher Michael Schwarz Y. Yarom SILM 44 2,171 0 03 Jan 2018