Nadim Kobeissi
@nadim.computer
Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
Symbolic Software is a bigger team than usual this summer, and we’d like you to meet everyone.
Meet the Symbolic Software Summer 2026 Team — Symbolic Software
Five people joined us this summer: two research interns formalizing zkVM soundness bounds in Lean, and three teaching assistants running the Applied Cryptography course. Here they are, in their own wo...
symbolic.software
This is a very cool and exciting discovery by Claude Mythos! It found a serious 𝒎𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍 attack on the post-quantum signature scheme HAWK, an "on-ramp" candidate for potential NIST standardization. www.anthropic.com/research/dis...
Discovering cryptographic weaknesses with Claude
Anthropic researchers find weaknesses in cryptographic algorithms with Claude Mythos Preview
anthropic.com
Everything between 1:12 and 2:23 is incredible www.youtube.com/watch?v=j2dd...
Flower Man [8-Bit Remix] (Deltarune Chapter 5)
YouTube video by Dāku
youtube.com
Watched the Odyssey today. Breathtaking. Was stunned by Anne Hathaway’s profound and powerful performance. Moving messages on the horrors of war, the tyranny of fate, friendship, loyalty and much more. Must be seen in cinemas to be fully appreciated.
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...
Why I Teach Cryptography in Lebanon — Symbolic Software
Cedarcrypt's first edition has concluded. On what a year of teaching cryptography in and for Lebanon has meant, why the conference met in Cyprus rather than Beirut, and the decades of work ahead.
symbolic.software
Students taking applied cryptography midterm in Beirut right now, supervised by my TAs
I am about to try Cypriot “hummus”. If it offends me we are canceling Cedarcrypt and going back home
Excited to soon be moderating the most baller panel discussion of all time at Cedarcrypt next week!!!
Week 3 of highly dedicated and ambitious weight lifting program at the gym, and my biggest realization is just how unnaturally, unbelievably, terrifyingly weak my core is. It’s like I was born without one. It’s really important to catch this stuff and work on it while you still can!
I'm looking for a job! I'm an experienced researcher in cryptography. My focus is on the transition to post-quantum cryptographic protocols and protocols related to blockains. If that sounds like someone you might want to hire or you know someone who might, let's talk!
I don’t think people should panic based on anything djb has written recently. But I do agree with his conclusion that ECC hybrids are a good idea. I also do continue to be skeptical of the “ECC hybrids are just too hard to get right” arguments.
Did you know? If you are doing weight lifting to gain muscle mass, you need to eat nine million kilograms of protein a day, without obtaining a caloric surplus. This is the lower limit, so try to eat ten billion kilos of protein if you can!
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.
Ranking of Kings is my favorite anime of all time. Just finished watching it. It’s just one season, I strongly urge everyone to watch it. Incredible writing. Incredible, incredible writing!!!!