Microsoft Research
Microsoft Translator |
Applications of SAT Solvers to Cryptanalysis of Hash Functions

Ilya Mironov and Lintao Zhang
August 2006

sat-hash.pdf
PDF file

In  International Conference on Theory and Applications of Satisfiability Testing (SAT 06)

Publisher  Springer

Details

TypeInproceedings
Pages102–115
Volume4121
SeriesLecture Notes in Computer Science
ISBN3-540-37206-7
AddressSeattle, WA
> Publications > Applications of SAT Solvers to Cryptanalysis of Hash Functions