Applications of SAT solver to cryptanalysis of hash functions (2013)

by I Mironov, L Zhang
Venue:in Proc. Int. Conf