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