SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers (Long Paper).

Dachao Wang Baocang Wang Siwei Sun

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

Keyphrases

search algorithm
search strategies
search efficiency
search space
search methods
information seeking
fully automatic
search strategy
search queries
satisfiability problem
search problems
stochastic local search algorithms
chosen plaintext