Towards Provably-Secure Optimizing Masking Compilers presented at RWC 2015

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

Summary : N/A