Symbolic Verification of Cache Side-channel Freedom

12 July 2018

Sudipta Chattopadhyay

Papers citing "Symbolic Verification of Cache Side-channel Freedom"

3 / 3 papers shown

Title
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
Security Analysis of Cache Replacement Policies Pablo Cañones Boris Köpf Jan Reineke 29 8 0 23 Jan 2017
ARMageddon: Cache Attacks on Mobile Devices Moritz Lipp Daniel Gruss Raphael Spreitzer Clémentine Maurice Stefan Mangard FedML 57 430 0 16 Nov 2015