Cryptology ePrint Archive: Report 2013/810

Available versions in chronological order

20131206:200430 (posted 06-Dec-2013 20:04:30 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (with minor differences): PPREW 2014
20131208:203653 (posted 08-Dec-2013 20:36:53 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (with minor differences): PPREW 2014
20131216:002018 (posted 16-Dec-2013 00:20:18 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (with minor differences): PPREW 2014
20131217:052541 (posted 17-Dec-2013 05:25:41 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (with minor differences): PPREW 2014
20140130:172147 (posted 30-Jan-2014 17:21:47 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (in the same form): ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014
20140522:190754 (posted 22-May-2014 19:07:54 UTC): Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack; Pablo Rauzy and Sylvain Guilley; Original publication (in the same form): ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014

[ Cryptology ePrint archive ]