Applications of SAT Solvers to Cryptanalysis of Hash Functions (2006)

by I Mironov, L Zhang
Venue:In Proceedings of the International Symposium on Theory and Applications of Satisfiability Testing