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)!

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

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.