Takahiro Matsuda 0002 Kanta Matsuura On Black-Box Separations among Injective One-Way Functions. 597-614 2011 TCC http://dx.doi.org/10.1007/978-3-642-19571-6_36 conf/tcc/2011 db/conf/tcc/tcc2011.html#MatsudaM11