49 citations · 76 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
Abstract Interpretation under Speculative Execution
Meng Wu, Chao Wang
Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detect…
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…