Elena Andreeva Bart Mennink Provable Chosen-Target-Forced-Midfix Preimage Resistance. 37-54 2011 Selected Areas in Cryptography http://dx.doi.org/10.1007/978-3-642-28496-0_3 conf/sacrypt/2011 db/conf/sacrypt/sacrypt2011.html#AndreevaM11