oo7: Low-overhead Defense against Spectre Attacks via Program Analysis

oo7: Low-overhead Defense against Spectre Attacks via Program Analysis

16 July 2018

Sudipta Chattopadhyay

Ivan Gotovchits

Abhik Roychoudhury

Papers citing "oo7: Low-overhead Defense against Spectre Attacks via Program Analysis"

4 / 4 papers shown

Title
SPECTECTOR: Principled Detection of Speculative Information Flows Marco Guarnieri Boris Köpf J. Morales Jan Reineke Andrés Sánchez 90 158 0 20 Dec 2018
Speculative Buffer Overflows: Attacks and Defenses Vladimir Kiriansky Carl A. Waldspurger SILM 35 194 0 10 Jul 2018
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass O. Oleksenko Bohdan Trach T. Reiher M. Silberstein Christof Fetzer 42 48 0 22 May 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 69 2,171 0 03 Jan 2018