Post

I'm thrilled to announce that after months of intensive work, the complete materials for my Applied Cryptography course at the American University of Beirut are now finished: both Part 1 (Provable Security) and Part 2 (Real-World Cryptography)!

The scale of this project is, for me, unprecedented: • 16 comprehensive slide decks totaling over 1,400 slides. • 8 rigorous problem sets from foundations to zero-knowledge proofs.

• 5 hands-on lab projects including secure messengers, ProVerif verification, and zero-knowledge systems. • 100+ curated readings including cutting-edge 2025 papers. • Fully integrated materials linking theory to practice at every step.

• Deep dives into actual cryptographic failures (from aging primitives like RC4 to current protocols serving millions of users such as MEGA, Nextcloud), alongside success stories. • Practical implementation focus with tools like ProVerif, RISC Zero, and modern cryptographic libraries.

• Optional sessions at our "The Key Exchange" weekly meetup for research and career development. The best part? Everything is Creative Commons licensed (BY-NC-SA) and designed for reusability. Any university can adopt these materials: the slides, assignments, labs, and course structure.

This represents what I believe to be one of the most comprehensive, current, and practical applied cryptography courses available anywhere. From one-time pads to zero-knowledge proofs, from high-assurance cryptography to post-quantum migration—it's all there.