research
∙
02/12/2021
Data-Driven Synthesis of Provably Sound Side Channel Analyses
We propose a data-driven method for synthesizing a static analyzer to de...
share
research
∙
09/12/2019
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Compression is an emerging source of exploitable side-channel leakage th...
research
∙
02/25/2019
Mitigating Power Side Channels during Compilation
The code generation modules inside modern compilers such as GCC and LLVM...
research
∙
07/10/2018
Datalog-based Scalable Semantic Diffing of Concurrent Programs
When an evolving program is modified to address issues related to thread...
research
∙
07/09/2018
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
A unified modeling framework for non-functional properties of a program ...
research
∙
09/28/2017