Login / Signup
VerMI: Verification Tool for Masked Implementations.
Victor Arribas
Svetla Nikova
Vincent Rijmen
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
model checking
software tools
neural network
efficient implementation
formal analysis
analysis tool
genetic algorithm
information systems
e learning
website
case study
face recognition
artificial neural networks
special case
medical images
face verification