SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.

Jun Zhang, Pengfei Gao, Fu Song, Chao Wang

Browse the full CAV paper archive.