Cryptology ePrint Archive: Report 2015/506

Available versions in chronological order

20150527:192221 (posted 27-May-2015 19:22:21 UTC): Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler; Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire

[ Cryptology ePrint archive ]