Inversion Attacks on Secure Hash Functions Using satSolvers. - Debapratim De; Abishek Kumarasubramanian; Ramarathnam Venkatesan (SAT, 2007)