Data-Driven Synthesis of Provably Sound Side Channel Analyses.

Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang

Browse the full ICSE paper archive.