Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen

Browse the full TACAS paper archive.