Cryptology ePrint Archive: Report 2013/554

Available versions in chronological order

20130904:142054 (posted 04-Sep-2013 14:20:54 UTC): Formally Proved Security of Assembly Code Against Leakage; Pablo Rauzy and Sylvain Guilley and Zakaria Najm
20131208:225338 (posted 08-Dec-2013 22:53:38 UTC): Formally Proved Security of Assembly Code Against Power Analysis; Pablo Rauzy and Sylvain Guilley and Zakaria Najm
20131208:225550 (posted 08-Dec-2013 22:55:50 UTC): Formally Proved Security of Assembly Code Against Power Analysis; Pablo Rauzy and Sylvain Guilley and Zakaria Najm
20131208:230116 (posted 08-Dec-2013 23:01:16 UTC): Formally Proved Security of Assembly Code Against Power Analysis; Pablo Rauzy and Sylvain Guilley and Zakaria Najm
20140305:133152 (posted 05-Mar-2014 13:31:52 UTC): Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic; Pablo Rauzy and Sylvain Guilley and Zakaria Najm
20140917:150551 (posted 17-Sep-2014 15:05:51 UTC): Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic; Pablo Rauzy and Sylvain Guilley and Zakaria Najm; Original publication (in the same form): PROOFS 2014
20140926:152323 (posted 26-Sep-2014 15:23:23 UTC): Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic; Pablo Rauzy and Sylvain Guilley and Zakaria Najm; Original publication (in the same form): PROOFS 2014
20150621:154601 (posted 21-Jun-2015 15:46:01 UTC): Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic; Pablo Rauzy and Sylvain Guilley and Zakaria Najm; Original publication (with minor differences): JCEN

[ Cryptology ePrint archive ]