History and classification of the PAKE algorithms
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Cryptography Research Materials
Rather education explanation of every bit behind RSA
Great inquiry into attacking RSA and it's internals, by Dan Boneh
Dolev-Yao model is a formal model, used to prove properties of interactive cryptographic protocols