Nadim Kobeissi

This account is verified. Learn more

@kaepora

Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia.

Paris, France nadim.computer Joined January 2008

255 Following 26K Followers 1.6K Posts

Latest posts 5

Pinned post

Nadim Kobeissi @kaepora Jul 22

I wrote an essay on Cedarcrypt and on why I teach cryptography in Lebanon.

The essay also links to the full Cedarcrypt 2026 photo album, which is now online.

symbolic.software/blog/2026-07-2…

symbolic.software Why I Teach Cryptography in Lebanon — Symbolic Software What a year of teaching cryptography in and for Lebanon has meant, why Cedarcrypt met in Cyprus rather than Beirut, and the decades of work ahead.

Nadim Kobeissi @kaepora 23h

The fifth edition of Real World Cryptography Paris was a success!

Last night, we were privileged to be able to host a diverse group of speakers and attendees at @EPITA , where we heard talks on Fully Homomorphic Encryption, security audits, payment protocols and protocol modeling tools.

A warm thank-you to our speakers Özgür Kesim, Alexander Pirker, Jean-Philippe Bossuat and Pierre-Emmanuel CLET!

This event wouldn't have been possible without the support of my co-organizers Martina Vigorito and Dayane Horkos, and without the generous patronage of Code Blau GmbH as well as my own Symbolic Software, who helped pay for the food and champagne.

See you all next time!

Nadim Kobeissi @kaepora 23h

Tamarin is now alleging that my issues asking for a disclosure policy and for revisiting the use of the term "prover" to describe the tool violated their Code of Conduct.

I welcome anyone showing me where the violation occurred; I can't find it.

github.com/tamarin-prover…

github.com Should Tamarin keep describing itself as a prover? · Issue #984 · tamarin-prover/tamarin-prover This continues a point from #968, moved here so that issue can stay on disclosure. Tamarin finds real attacks, and it can establish that a property holds in a model for unboundedly many sessions. N...

Nadim Kobeissi @kaepora 2d

FORMAL METHODS RESEARCHERS HATE HIM!

DOCTORS BAFFLED: MAN INSISTS “VERIFIED” AND “PROOF” ARE DIFFERENT WORDS

- Renaming ONE variable flips the verdict. You won't BELIEVE which variable (it was x)
- Mathematicians HATE this one trick: check proof with same program that wrote it

Nadim Kobeissi @kaepora 2d

See you tonight!

Nadim Kobeissi Verified account @kaepora 6d

Real World Cryptography Paris is THIS WEEK!

Still time to register, but we're almost at capacity:

cryptography.paris
View quoted post on X