SpecFuzz: Bringing Spectre-type vulnerabilities to the surface

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface

24 May 2019

Christof Fetzer

Papers citing "SpecFuzz: Bringing Spectre-type vulnerabilities to the surface"

11 / 11 papers shown

Title
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection Shengjian Guo Yueqi Chen Peng Li Yueqiang Cheng Huibo Wang Meng Wu Zhiqiang Zuo 90 49 0 04 Nov 2019
ConTExT: Leakage-Free Transient Execution Michael Schwarz R. Schilling F. Kargl Moritz Lipp Claudio Canella Daniel Gruss 32 21 0 22 May 2019
Spectre is here to stay: An analysis of side-channels and speculative execution R. McIlroy J. Sevcík Tobias Tebbi Ben L. Titzer T. Verwaest 30 121 0 14 Feb 2019
SPECTECTOR: Principled Detection of Speculative Information Flows Marco Guarnieri Boris Köpf J. Morales Jan Reineke Andrés Sánchez 79 158 0 20 Dec 2018
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 37 403 0 13 Nov 2018
NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Moritz Lipp Daniel Gruss 23 230 0 27 Jul 2018
ret2spec: Speculative Execution Using Return Stack Buffers G. Maisuradze C. Rossow SILM 25 254 0 26 Jul 2018
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis Guanhua Wang Sudipta Chattopadhyay Ivan Gotovchits T. Mitra Abhik Roychoudhury 46 98 0 16 Jul 2018
SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation Khaled N. Khasawneh Esmaeil Mohammadian Koruyeh Chengyu Song Dmitry Evtyushkin D. Ponomarev Nael B. Abu-Ghazaleh 46 183 0 13 Jun 2018
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass O. Oleksenko Bohdan Trach T. Reiher M. Silberstein Christof Fetzer 34 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 44 2,171 0 03 Jan 2018