2 papers
cs.CR2024
SHA-256 Collision Attack with Programmatic SAT
Nahiyan Alamgir, Saeed Nejati, Curtis Bright
Cryptographic hash functions play a crucial role in ensuring data security, generating fixed-length hashes from variable-length inputs. The hash function SHA-256 is trusted for dat…
cs.LO2020
CDCL(Crypto) SAT Solvers for Cryptanalysis
Saeed Nejati, Vijay Ganesh
Over the last two decades, we have seen a dramatic improvement in the efficiency of conflict-driven clause-learning Boolean satisfiability (CDCL SAT) solvers on industrial problems…