Cryptology ePrint Archive: Report 2013/554

Available versions in chronological order


Formally Proved Security of Assembly Code Against Leakage
Pablo Rauzy and Sylvain Guilley and Zakaria Najm

Formally Proved Security of Assembly Code Against Power Analysis
Pablo Rauzy and Sylvain Guilley and Zakaria Najm

Formally Proved Security of Assembly Code Against Power Analysis
Pablo Rauzy and Sylvain Guilley and Zakaria Najm

Formally Proved Security of Assembly Code Against Power Analysis
Pablo Rauzy and Sylvain Guilley and Zakaria Najm

Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic
Pablo Rauzy and Sylvain Guilley and Zakaria Najm

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

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

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 ]