Login / Signup
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking.
Roderick Bloem
Hannes Groß
Rinat Iusupov
Martin Krenn
Stefan Mangard
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
formal verification
higher order
model checking
pairwise
model checker
neural network
similarity measure
reinforcement learning
open source
natural images
knowledge sharing
symbolic model checking
bounded model checking