49 citations · 76 across the 13 of their papers we have counts for
5 papers · 1 filter
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang, Shengjian Guo, Meng Wu +1
While there is a large body of work on analyzing concurrency related software bugs and developing techniques for detecting and patching them, little attention has been given to con…
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson +1
Compression is an emerging source of exploitable side-channel leakage that threatens data security, particularly in web applications where compression is indispensable for performa…
Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung, Chao Wang
The code generation modules inside modern compilers such as GCC and LLVM, which use a limited number of CPU registers to store a large number of program variables, may introduce si…
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…
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…