Skip to content

Applications of SAT Solvers to Cryptanalysis of Hash Functions.

Ilya Mironov, Lintao Zhang

VenueASAT
Year2006
ProceedingsSAT

Browse the full SAT paper archive.