49 citations · 76 across the 13 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.CR2018★ 9 cited
Eliminating Timing Side-Channel Leaks using Program Repair
Meng Wu, Shengjian Guo, Patrick Schaumont +1
We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method…
cs.SE2018★ 2 cited
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
Chungha Sung, Brandon Paulsen, Chao Wang
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual rese…
cs.CR2018★ 3 cited
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Shengjian Guo, Meng Wu, Chao Wang
The timing characteristics of cache, a high-speed storage between the fast CPU and the slowmemory, may reveal sensitive information of a program, thus allowing an adversary to cond…