From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*.

Florian Legendre, Gilles Dequen, Michal Krajecki

Browse the full SECRYPT paper archive.