Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks against 6-Round SHA-3.
Jian GuoGuozhen LiuLing SongYi TuPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- block cipher
- hash functions
- s box
- sat solvers
- satisfiability problem
- similarity search
- collision detection
- collision avoidance
- secret key
- sat problem
- quantum computing
- lightweight
- quantum computation
- data distribution
- quantum inspired
- max sat
- quantum mechanics
- virtual environment
- signature scheme
- phase transition
- search strategies
- stochastic local search
- orders of magnitude
- lower bound