Cryptology ePrint Archive: Report 2013/506
Available versions in chronological order
20130817:204627 (posted 17-Aug-2013 20:46:27 UTC)
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA
Pablo Rauzy and Sylvain Guilley
20131202:193003 (posted 02-Dec-2013 19:30:03 UTC)
A Formal Proof of Countermeasures Against Fault Injection Attacks on CRT-RSA
Pablo Rauzy and Sylvain Guilley
20131203:135929 (posted 03-Dec-2013 13:59:29 UTC)
A Formal Proof of Countermeasures Against Fault Injection Attacks on CRT-RSA
Pablo Rauzy and Sylvain Guilley
20131205:103257 (posted 05-Dec-2013 10:32:57 UTC)
A Formal Proof of Countermeasures Against Fault Injection Attacks on CRT-RSA
Pablo Rauzy and Sylvain Guilley
20140130:171541 (posted 30-Jan-2014 17:15:41 UTC)
A Formal Proof of Countermeasures Against Fault Injection Attacks on CRT-RSA
Pablo Rauzy and Sylvain Guilley
Original publication (in the same form): Journal of Cryptographic Engineering
[
Cryptology ePrint archive
]