Applications of SAT solvers to cryptanalysis of hash functions (2006)

Cached

Download Links

by Ilya Mironov , Lintao Zhang
Venue:In Theory and Applications of Satisfiability Testing 2006
Citations:17 - 0 self