On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers.

Muhammad ElSheikh Amr M. Youssef

Published in: ACISP (2021)

Keyphrases

search algorithm
search strategies
search space
search strategy
search tools
user queries
search efficiency
block cipher
neural network
evolutionary algorithm
fully automatic
linear program
search queries
multi layer
linear systems
bit parallel