VerMI: Verification Tool for Masked Implementations.

Victor Arribas Svetla Nikova Vincent Rijmen

Published in: ICECS (2018)

Keyphrases

model checking
efficient implementation
verification method
neural network
feature selection
decision making
data analysis
digital images
software tools
analysis tool