Verified Implementations of Higher-Order Masking presented at EuroCrypt 2015

by Pierre-alain Fouque, Sonia Belaid, Pierre-yves Strub, Gilles Barthe, François Dupressoir, Benjamin Grégoire,

Summary : N/A