Encoding Hash Functions as a SAT Problem.

Florian Legendre, Gilles Dequen, Michal Krajecki

Browse the full ICTAI paper archive.