Inversion Attacks on Secure Hash Functions Using satSolvers.

Debapratim De, Abishek Kumarasubramanian, Ramarathnam Venkatesan

Browse the full SAT paper archive.