M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. Technical Report DEC SRC Technical Report 125, Digital Equipment Corporation, November 1995.
 M. Abadi and P. Rogaway. Reconciling two views of cryptography (the computational soundness of formal encryption). Journal of Cryptology, 15(2):103–127, Spring 2002.
 M. Abadi and M.R. Tuttle. A semantics for a logic of authentication (extended abstract). In Proceedings of Tenth Annual ACM Symposium on Principles of Distributed Computing, pages 201–216, August 1991.
 M. Abdalla, M. Bellare, and P. Rogaway. DHAES: an encryption scheme based on the Diffie-Hellman problem. Submission to IEEE P1363: Asymmetric Encryption, 1998. Available at