Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology. - Ueli M. Maurer; Renato Renner; Clemens Holenstein (TCC, 2004)