MILP-Based Automatic Differential Searches for LEA and HIGHT.

Elnaz Bagherzadeh Zahra Ahmadian

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

Keyphrases

constraint programming
search strategies
data driven
linear program
real world
decision trees
semi automatic
search tools
artificial intelligence
image processing
case study
multi agent systems