A Turning Point for Verified Spectre Sandboxing

2 August 2022

Papers citing "A Turning Point for Verified Spectre Sandboxing"

3 / 3 papers shown

Title
Swivel: Hardening WebAssembly against Spectre Shravan Narayan Craig Disselkoen D. Moghimi Sunjay Cauligi Evan Johnson ... Anjo Vahldiek-Oberwagner R. Sahita H. Shacham Dean Tullsen D. Stefan 64 58 0 25 Feb 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 72 408 0 13 Nov 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 87 2,190 0 03 Jan 2018