Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation

30 May 2019

Papers citing "Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation"

7 / 7 papers shown

Title
MicroWalk: A Framework for Finding Side Channels in Binaries Jan Wichelmann A. Moghimi T. Eisenbarth B. Sunar 36 75 0 16 Aug 2018
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Shengjian Guo Meng Wu Chao Wang 48 40 0 09 Jul 2018
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries Gorka Irazoqui Apecechea Kai Cong Xiaofei Guo Hareesh Khattri A. Kanuparthi T. Eisenbarth B. Sunar 29 16 0 05 Sep 2017
Malware Guard Extension: Using SGX to Conceal Cache Attacks Michael Schwarz Samuel Weiser Daniel Gruss Clémentine Maurice Stefan Mangard 48 426 0 28 Feb 2017
Rigorous Analysis of Software Countermeasures against Cache Attacks Goran Doychev Boris Köpf 28 75 0 07 Mar 2016
ARMageddon: Cache Attacks on Mobile Devices Moritz Lipp Daniel Gruss Raphael Spreitzer Clémentine Maurice Stefan Mangard FedML 47 428 0 16 Nov 2015
Determinating Timing Channels in Compute Clouds Amittai Aviram Sen Hu Bryan Ford R. Gummadi AI4TS 83 153 0 27 Mar 2010