Automated Verification of Correctness for Masked Arithmetic Programs

Mingyang Liu, Fu Song, Taolue Chen

Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques hav…