Goldwasser, Shafi. "The Search for Provably Secure Cryptosystems." In Cryptology and Computational Number Theory, 89-113. Washington: American Mathematical Society, 1990.