Automatic Verification of Differential Characteristics: Application to Reduced Gimli.

Fukang Liu Takanori Isobe Willi Meier

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

computer vision
real time
real world
decision making
website
search algorithm
relational databases
evolutionary algorithm
key features
application specific