Certifying Cryptographic Tools: The Case of Trapdoor Permutations.

Mihir Bellare, Moti Yung

Browse the full CRYPTO paper archive.