Login / Signup
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler.
Gilles Barthe
Sonia Belaïd
François Dupressoir
Pierre-Alain Fouque
Benjamin Grégoire
Published in:
IACR Cryptol. ePrint Arch. (2015)
Keyphrases
</>
higher order
pairwise
databases
similarity measure
general purpose
high order
low order
machine learning
human visual system
code generation