The TLS Handshake Protocol: A Modular Analysis

Authentication and authenticated key exchanges

Whitfield Diffie, Paul C. van Oorschot, Michael J. Wiener · Designs Codes and Cryptography · 1992 · 1.1K citations · Full text

Computing, Computer Science, Cybersecurity +12

Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack

Ronald Cramer, Victor Shoup · SIAM Journal on Computing · 2003 · 986 citations

Computing, Computer Science, Computer Security +8

Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm

Mihir Bellare, Chanathip Namprempre · Journal of Cryptology · 2008 · 649 citations · Full text

Computing, Computer Science, Cybersecurity +12

Provably secure session key distribution

Mihir Bellare, Phillip Rogaway · 1995 · 597 citations · Full text

Computing, Computer Engineering, Computer Science +10

The SSL Protocol Version 3.0

A. Freier, Paul Kocher, Philip Karlton · 1996 · 527 citations

Computing, Computer Science, Authentication +8