Applications of SAT Solvers to Cryptanalysis of Hash Functions.
Ilya MironovLintao ZhangPublished in: SAT (2006)
Keyphrases
- hash functions
- sat solvers
- orders of magnitude
- sat solving
- propositional satisfiability
- similarity search
- boolean satisfiability
- constraint satisfaction
- secret key
- max sat
- sat instances
- hamming distance
- sat problem
- locality sensitive hashing
- search space
- data distribution
- block cipher
- clause learning sat solvers
- search strategies
- clause learning
- distance measure
- computational complexity
- hamming space
- neural network