3 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…
cs.CR2016
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Saeed Nejati, Jia Hui Liang, Vijay Ganesh +2
SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver-ba…