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.

Here is what I believe makes my Applied Cryptography course materials truly world-class: • Ultra-current content featuring the latest in post-quantum cryptography, formal verification, and real-world protocol analysis.

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