The Joy of Cryptography
Download Full Text
Mike Rosulek - Author
The pedagogical approach is anchored in formal definitions/proof of security/ but in a way that I believe is more accessible than what is "traditional" in crypto. All security definitions are written in a unified and simplified "game-based" style. For an example of what security definitions look like in this style/ see the index of security definitions (which will make more sense after reading chapters 2 & 4).
Mathematics - Pure
Computer Science - Cryptography
Oregon State University
Open Textbook Library
"The Joy of Cryptography" (2021). Open Textbooks. 780.