Yael Gertner Tal Malkin Omer Reingold On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates. 126-135 2001 FOCS db/conf/focs/focs2001.html#GertnerMR01