Showing cs.CRShow all
2 papers · 1 filter
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.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…