Secure Communications Over Insecure Channels

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

History and classification of the PAKE algorithms

RSA Algorithm

Rather education explanation of every bit behind RSA

Twenty Years of Attacks on the RSA Cryptosystem

Great inquiry into attacking RSA and it's internals, by Dan Boneh

On the Security of Public Key Protocols

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