The Joy of Cryptography: An Undergraduate Course in Provable Security
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.
  • 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
1147114635
The Joy of Cryptography: An Undergraduate Course in Provable Security
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.
  • 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
85.0 Pre Order
The Joy of Cryptography: An Undergraduate Course in Provable Security

The Joy of Cryptography: An Undergraduate Course in Provable Security

by Mike Rosulek
The Joy of Cryptography: An Undergraduate Course in Provable Security

The Joy of Cryptography: An Undergraduate Course in Provable Security

by Mike Rosulek

Hardcover

$85.00 
  • SHIP THIS ITEM
    Available for Pre-Order. This item will be released on January 6, 2026

Related collections and offers


Overview

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.
  • 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

Product Details

ISBN-13: 9780262049979
Publisher: MIT Press
Publication date: 01/06/2026
Pages: 702
Product dimensions: 7.31(w) x 9.31(h) x 1.69(d)

About the Author

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.

From the B&N Reads Blog

Customer Reviews