SHA-256 Collision Attack with Programmatic SAT.
Nahiyan AlamgirSaeed NejatiCurtis BrightPublished in: CoRR (2024)
Keyphrases
- collision detection
- sat solvers
- satisfiability problem
- sat solving
- sat problem
- search algorithm
- phase transition
- hash functions
- countermeasures
- collision avoidance
- secret key
- propositional satisfiability
- np complete
- stochastic local search algorithms
- max sat
- sat instances
- dos attacks
- boolean satisfiability
- search strategies
- lightweight
- pseudo boolean constraints