Applications of SAT Solvers to Cryptanalysis of Hash Functions
Ilya Mironov and Lintao Zhang
August 2006
 PDF file |
In: International Conference on Theory and Applications of Satisfiability Testing (SAT 06)
Publisher: Springer
Details
| Type: | Inproceedings |
| Pages: | 102–115 |
| Volume: | 4121 |
| Series: | Lecture Notes in Computer Science |
| ISBN: | 3-540-37206-7 |
| Address: | Seattle, WA |
©2009 Microsoft Corporation. All rights reserved.