A formal proof of countermeasures against fault injection attacks on CRT-RSA

Pablo Rauzy, Sylvain Guilley. A formal proof of countermeasures against fault injection attacks on CRT-RSA. J. Cryptographic Engineering, 4(3):173-185, 2014. [doi]

Abstract

Abstract is missing.