Twenty Years of Attacks on the RSA Cryptosystem

SoK: Password-Authenticated Key Exchange – Theory, Practice, Standardization and Real-World Lessons

History and classification of the PAKE algorithms

Secure Communications Over Insecure Channels

Paper by R. Merkle, predated "New directions in cryptography" though it was published after it. The Diffie-Hellman key exchange is an implementation of such a Merkle system

RSA Algorithm

Rather education explanation of every bit behind RSA

On the Security of Public Key Protocols

Dolev-Yao model is a formal model, used to prove properties of interactive cryptographic protocols