Post

Nadim Kobeissi
@nadim.computer

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

9 reposts32 likes

Nadim Kobeissi
@nadim.computer

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.

Nadim Kobeissi
@nadim.computer

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

Nadim Kobeissi
@nadim.computer

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.

Nadim Kobeissi
@nadim.computer

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

Simone Ragusa
@interrato.dev

The materials are wonderful, and the fact that they are CC-licensed is fantastic. I'm currently writing my master's thesis and have already found myself looking at your slides multiple times to recall some definitions and concepts. So, thank you!