3 citations · 9 across the 9 of their papers we have counts for
1 paper · 1 filter
Jingbo Wang, Chungha Sung, Mukund Raghothaman +1
We propose a data-driven method for synthesizing a static analyzer to detect side-channel information leaks in cryptographic software. Compared to the conventional way of manually…