iiinova — where your digital self keeps evolving

Nadim Kobeissi @nadim.computer · 23/09/2026

Hello from the musical event of the century

Nadim Kobeissi @nadim.computer · 23/09/2026

The new Verifpal Workbench is the best web IDE in existence for designing, prototyping and analyzing cryptographic protocols, and you simply have to check it out: verifpal.com/workbench

140

Nadim Kobeissi @nadim.computer · 18/09/2026

Current status (DISCLAIMER: MY WIFE BROUGHT ME HERE)

230

Nadim Kobeissi @nadim.computer · 16/09/2026

Had a great discussion with my Lebanese students today about learning formal modeling of protocols 🙏🙏🙏 #blessed

250

Nadim Kobeissi @nadim.computer · 12/09/2026

Beautiful morning in our suburb!

130

Nadim Kobeissi @nadim.computer · 11/09/2026

Crazy to realize that (a) Symbolic Software will soon be 10 years old (b) I've worked on over 300 cryptography audits in the past decade!

020

Nadim Kobeissi @nadim.computer · 10/09/2026

Getting groceries with my best buddy

090

Nadim Kobeissi @nadim.computer · 09/09/2026

I'm maintaining a list of companies and universities that use Verifpal. If you're not on the list and are using Verifpal at work to model protocols, or at university for teaching or research, please let me know! 😁

050

Nadim Kobeissi @nadim.computer · 30/08/2026

They made a Lego set of my wife (left), me (center) and our dog (right)

0493

Nadim Kobeissi @nadim.computer · 25/08/2026

Verifpal 1.2.2 adds an exciting new output format: HTML reports! Verifpal can now output highly informative, self-contained HTML reports that contain diagrams and other explanations of your analysis' results. Here's an example! Try it using: verifpal verify --format html your-model.vp.

141

Nadim Kobeissi @nadim.computer · 22/08/2026

Verifpal's VSCode and Neovim extensions have been rewritten to benefit from Verifpal's new Language Server Protocol (LSP) implementation that just rolled out in Verifpal 1.1.0; new features fully flex LSP to offer an immersive protocol modeling experience. Also, there's a brand new Zed extension!

030

Nadim Kobeissi @nadim.computer · 12/08/2026

I’m so proud of my dog, Diffie! He’s been by my side for almost ten years. He’s always such a kind, cute, playful, sassy and friendly fellow. You can always count on him for a cuddle!

160

Nadim Kobeissi @nadim.computer · 12/08/2026

undertale.jadenthejaded.uk

000

Nadim Kobeissi @nadim.computer · 11/08/2026

Having lots of fun auditing the soundness of Tamarin prover today

120

Nadim Kobeissi @nadim.computer · 10/08/2026

Catching up on work, intern supervising and emails after 10 days abroad www.youtube.com/watch?v=phue...

020

Nadim Kobeissi @nadim.computer · 20/07/2026

Students taking applied cryptography midterm in Beirut right now, supervised by my TAs

0160

Nadim Kobeissi @nadim.computer · 09/07/2026

Excited to soon be moderating the most baller panel discussion of all time at Cedarcrypt next week!!!

1121

Nadim Kobeissi @nadim.computer · 05/07/2026

Today marks twenty years since the passing of my father, Prof. Hassan Kobeissi. Seen here on the right next to my mom’s brother, Ahmad Beydoun. My dad taught philosophy, wrote on epistemology, and was involved in translating notably Mircea Eliade and Nietzsche into Arabic.

090

Nadim Kobeissi @nadim.computer · 25/06/2026

Good riddance to Franziskus Kiefer, Cryspen's former scumbag-in-chief. Glad to see that place has cleansed itself from its corrupting elements.

010

Nadim Kobeissi @nadim.computer · 14/06/2026

This Lebanese dish is called, in Arabic, “macaroni with yogurt, garlic and crushed mint”, and that’s exactly what it is!

030

Nadim Kobeissi @nadim.computer · 13/06/2026

Finally got the chance to hang this in my home office today.

050

Nadim Kobeissi @nadim.computer · 12/06/2026

My applied cryptography course's summer semester started up this week. Here's an email I received yesterday from a student. I think that people should see this.

2248

Nadim Kobeissi @nadim.computer · 10/06/2026

Pleased to announce revolutionary changes to my applied cryptography quiz answer keys

020

Nadim Kobeissi @nadim.computer · 04/06/2026

Veggie burgers are much tastier than beef burgers

120

Nadim Kobeissi @nadim.computer · 02/06/2026

Real ProVerif nostalgia today

010

Nadim Kobeissi @nadim.computer · 31/05/2026

Pleased to announce Jevil, the catastrophic-failure-by-design signature scheme. Building upon my natural talent for catastrophic failure, Jevil establishes a new paradigm for post-quantum signature schemes.