Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security.

Pablo Rauzy, Sylvain Guilley

Browse the full POPL paper archive.