SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers.
Dachao WangBaocang WangSiwei SunPublished in: IACR Trans. Symmetric Cryptol. (2023)
Keyphrases
- search algorithm
- search strategies
- search space
- search strategy
- search problems
- semi automatic
- search efficiency
- satisfiability problem
- search methods
- backtracking search
- np complete
- search queries
- search tools
- optimal solution
- search engine
- search procedures
- stochastic local search
- variable ordering
- information retrieval