Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.
Saeed NejatiJan HorácekCatherine H. GebotysVijay GaneshPublished in: CP (2018)
Keyphrases
- hash functions
- sat solvers
- secret key
- block cipher
- orders of magnitude
- search space
- constraint satisfaction
- similarity search
- propositional satisfiability
- sat solving
- max sat
- sat problem
- boolean satisfiability
- sat instances
- clause learning
- search strategies
- hamming distance
- weighted max sat
- data distribution
- sat encodings
- clause learning sat solvers
- encryption scheme
- hashing methods
- boolean formula
- industrial applications
- tabu search
- evolutionary algorithm
- data analysis
- information retrieval