Nadim Kobeissi

Check it out at: appliedcryptography.page

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.

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

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

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.

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

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.

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

Dear media (here, @financialtimes.com), please don't go this road. Open source carries risks, but that's irrelevant here. This genie is out of the box long time ago, anyway. For the "cannot be easily recalled" it can be simplified to "cannot be". But that's a feature, not a bug.

Me: “I got this strawberry tart from a really fancy patisserie, you know”

Wife: “how fancy?”

Me: “the guy forced himself to laugh at my jokes.”

YouTube video by ModeSeven deltarune - Second+Third Sanctuary [Guitar Arrange]

10/10 www.youtube.com/watch?v=MORS...

AWS deleted my 10-year account and all data without warning After 10 years as an AWS customer and open-source contributor, they deleted my account and all data with zero warning. Here's how AWS's 'verification' process became a digital execution, and why you s...

"In Cloud we Trust"™

www.seuros.com/blog/aws-del...

YouTube video by The AmbiGamer Stickerbush Symphony || Donkey Kong Bananza (Original Soundtrack)

www.youtube.com/watch?v=E9Ea...

I know people are down on AI, but what if I told you I just discovered an entirely new way to consume the day's news?

I tell ya, I don’t get no respect - even my private key went public! My cryptographic protocol’s so weak, the NSA sent me a thank you card! *Tugs collar*

Have a great summer!

YouTube video by BlueElectric05 TV WORLD - Deltarune [90's CDDA Edition Remix]

Every day I am reminded that my ultimate flow state is blasting video game music and working on educational materials in applied cryptography www.youtube.com/watch?v=QyJZ...

Oh, you’re on vacation

Moka Induction Rossa Bialetti Moka Induction: the original coffee maker, a symbol of Made in Italy, is now also suitable for use on all induction hobs. Bialetti Moka Induction offers the experience of the true Italian rit...

www.bialetti.com/it_en/moka-i...

You can get a Moka pot that works with induction stoves! I have one and use it every morning.

“No starvation” is the “No collusion” of 2025

Compressing Icelandic name declension patterns into a 3.27 kB trie How I used a compressed trie data structure to encode Icelandic declension data.

Compressing Icelandic name declension patterns into a 3.27 kB trie https://lobste.rs/s/k3g2l0 #programming

sakura drop - ｓｏｒａｉｎｇ (golgi + jimmyoshi) how-it's-made now on youtube! https://www.youtube.com/watch?v=Vh-ba6aCcmQ synthesia cover makers please fix your notes! cool collab with @jimmyoshi !!!!!!

on.soundcloud.com/Dh9UWMpkoPAT...

Finished packing for Lebanon 🙂

www.youtube.com/watch?v=QyJZ...