Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages.
Frédéric LafitteJorge Nakahara Jr.Dirk Van HeulePublished in: J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
- sat solvers
- max sat
- sat solving
- constraint satisfaction
- secret key
- orders of magnitude
- propositional satisfiability
- boolean satisfiability
- hash functions
- search strategies
- sat problem
- sat instances
- search space
- linear programming
- sat encodings
- weighted max sat
- clause learning sat solvers
- evolutionary algorithm
- clause learning
- document collections