Login / Signup
maskVerif: a formal tool for analyzing software and hardware masked implementations.
Gilles Barthe
Sonia Belaïd
Pierre-Alain Fouque
Benjamin Grégoire
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
efficient implementation
search algorithm
formal analysis
data mining
information retrieval
decision trees
three dimensional
learning environment
digital libraries
preprocessing
multiresolution
logic programs
user friendly
software tools
formal specification
formal representation