Certifying Cryptographic Tools: The Case of Trapdoor Permutations

Mihir Bellare
CRYPTO '92: Proceedings of the 12th Annual International Cryptology Conference on Advances in Cryptology, Springer-Verlag, London, UK (1993), pp. 442-460

Abstract