SHA-256 Collision Attack with Programmatic SAT.
Nahiyan AlamgirSaeed NejatiCurtis BrightPublished in: PAAR+SC²@IJCAR (2024)
Keyphrases
- satisfiability problem
- collision detection
- sat solvers
- collision avoidance
- sat problem
- hash functions
- countermeasures
- malicious users
- search algorithm
- stochastic local search algorithms
- propositional satisfiability
- attack detection
- power analysis
- sat solving
- boolean satisfiability
- stochastic local search
- secret key
- pseudo boolean constraints
- modulo theories
- ddos attacks
- block cipher
- authentication protocol
- max sat
- path planning