A01=Mike Rosulek
algorithm
algorithms
ap computer science
Author_Mike Rosulek
business
Category=URY
code
computer
computer books
computer science
computer security
computers
critical thinking
crypto
cryptography
cyber
cyber security
cyber security books
cybersecurity
dark web
data
economics
education
engineering
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_new_release
eq_nobargain
eq_non-fiction
finance
guide
hackers
hacking
hacking books
how to
internet
law
legal
logic
logic games
math
mathematics
mba
network security
numbers
penetration test
penetration testing
philosophy
physics
privacy
problem solving
programming
psychology
school
security
self help
statistics
strategy
tech
technology
work
Product details
- ISBN 9780262049979
- Dimensions: 178 x 229mm
- Publication Date: 06 Jan 2026
- Publisher: MIT Press Ltd
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
A comprehensive introduction to the fundamentals of provable security for advanced undergraduates.
This accessible textbook provides a comprehensive introduction to the algorithms that keep our digital lives safe—how they work, what makes them different, and why they are secure. Mike Rosulek focuses on provable security—the process of defining what it means to be secure and mathematically proving security properties—to demystify the study of cryptography. Writing with clarity and humor, Rosulek covers basic building blocks before moving to symmetric-key encryption and authentication, public-key cryptography, and advanced topics. Employing a novel pseudocode-based approach to learning provable security and security proofs, The Joy of Cryptography empowers anyone with a small amount of programming experience to reason formally about security properties.
This accessible textbook provides a comprehensive introduction to the algorithms that keep our digital lives safe—how they work, what makes them different, and why they are secure. Mike Rosulek focuses on provable security—the process of defining what it means to be secure and mathematically proving security properties—to demystify the study of cryptography. Writing with clarity and humor, Rosulek covers basic building blocks before moving to symmetric-key encryption and authentication, public-key cryptography, and advanced topics. Employing a novel pseudocode-based approach to learning provable security and security proofs, The Joy of Cryptography empowers anyone with a small amount of programming experience to reason formally about security properties.
- Uses pseudocode-based reasoning to make provable security accessible to undergraduates
- Focuses on proven methods used in practice today
- Offers rigorous treatment of symmetric-key and public-key encryption and authentication
- Includes advanced material on encrypted messaging, post-quantum cryptography, and zero-knowledge proofs
- Features ancillary resources
Mike Rosulek is Professor in the School of Electrical Engineering and Computer Science at Oregon State University and author of over 60 peer-reviewed publications on cryptography, with a special focus on interactive protocols.
