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…