Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks

9 July 2018

Papers citing "Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks"

3 / 3 papers shown

Title
CANAL: A Cache Timing Analysis Framework via LLVM Transformation Chungha Sung Brandon Paulsen Chao Wang 51 28 0 09 Jul 2018
Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu Shengjian Guo Patrick Schaumont Chao Wang 47 108 0 06 Jun 2018
Compositional Synthesis of Leakage Resilient Programs A. Blot Masaki Yamamoto Tachio Terauchi 33 14 0 18 Oct 2016