Cryptology ePrint Archive: Report 2006/254

Available versions in chronological order

20060727:062437 (posted 27-Jul-2006 06:24:37 UTC): Applications of SAT Solvers to Cryptanalysis of Hash Functions; Ilya Mironov and Lintao Zhang; Publication Info: Theory and Applications of Satisfiability Testing (SAT 06), pages 102--115, 2006

[ Cryptology ePrint archive ]