Cryptology ePrint Archive: Report 2015/060

Available versions in chronological order


Verified Proofs of Higher-Order Masking
Gilles Barthe and Sonia Bela\"id and Fran\c{c}ois Dupressoir and Pierre-Alain Fouque and Benjamin Gr\'egoire and Pierre-Yves Strub
Original publication (with minor differences): IACR-EUROCRYPT-2015

Verified Proofs of Higher-Order Masking
Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire and Pierre-Yves Strub
Original publication (with minor differences): IACR-EUROCRYPT-2015

Verified Proofs of Higher-Order Masking
Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire and Pierre-Yves Strub

Verified Proofs of Higher-Order Masking
Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire and Pierre-Yves Strub
Original publication (with minor differences): IACR-EUROCRYPT-2015

Verified Proofs of Higher-Order Masking
Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire and Pierre-Yves Strub
Original publication (with minor differences): IACR-EUROCRYPT-2015


[ Cryptology ePrint archive ]