Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks Against 6-Round SHA-3.
Jian GuoGuozhen LiuLing SongYi TuPublished in: ASIACRYPT (3) (2022)
Keyphrases
- block cipher
- hash functions
- similarity search
- secret key
- satisfiability problem
- sat solvers
- s box
- collision detection
- search algorithm
- lightweight
- collision avoidance
- sat solving
- security protocols
- quantum computation
- propositional satisfiability
- sat problem
- data distribution
- quantum computing
- stochastic local search
- phase transition
- constraint satisfaction
- boolean satisfiability
- quantum inspired
- virtual environment