Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Applications of SAT Solvers to Cryptanalysis of Hash Functions

Ilya Mironov and Lintao Zhang

Details

Publication typeInproceedings
Published inInternational Conference on Theory and Applications of Satisfiability Testing (SAT 06)
Pages102–115
Volume4121
SeriesLecture Notes in Computer Science
ISBN3-540-37206-7
AddressSeattle, WA
PublisherSpringer
> Publications > Applications of SAT Solvers to Cryptanalysis of Hash Functions