Verified Proofs of Higher-Order Masking.

Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub

Browse the full EuroCrypt paper archive.