SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

21 July 2024

Papers citing "SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations"

4 / 4 papers shown

Title
SoK: Practical Foundations for Software Spectre Defenses Sunjay Cauligi Craig Disselkoen D. Moghimi Gilles Barthe D. Stefan 71 47 0 12 May 2021
A Systematic Evaluation of Transient Execution Attacks and Defenses Claudio Canella Jo Van Bulck Michael Schwarz Moritz Lipp Benjamin von Berg Philipp Ortner Frank Piessens Dmitry Evtyushkin Daniel Gruss 74 408 0 13 Nov 2018
Spectre Returns! Speculation Attacks using the Return Stack Buffer Esmaeil Mohammadian Koruyeh Khaled N. Khasawneh Chengyu Song Nael B. Abu-Ghazaleh SILM AAML 48 190 0 20 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 90 2,190 0 03 Jan 2018