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
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Applications of SAT Solvers to Cryptanalysis of Hash Functions