Sign in

Nadim Kobeissi

@nadim.computer
886 followers 357 following 1.9K posts

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

PostsRepliesMedia
Reposted by Nadim Kobeissi
Katie Drummond @katie-drummond.bsky.social · 4h
Today, @wired.com is publishing Choke Points, an 18-month investigation into how Israel’s network of checkpoints, gates, and roadblocks is reshaping daily life for Palestinians in the occupied West Bank. A thread on the reporting, and what we found:
112159
Nadim Kobeissi @nadim.computer · 10h
music.apple.com/fr/album/ayu...
music.apple.com
Ayukawa Reformat par DV-i sur Apple Music
Morceau · 2015 · Durée 1:22
000
Reposted by Nadim Kobeissi
Supper Mario Broth @mariobrothblog.bsky.social · 28/09/2026
Paper Mario: The Thousand-Year Door inadvertently depicts Peach as the quickest typist in the world. She is able to type up a 126-word email in exactly 3 seconds, making her 8 times faster than the current typing speed world record.
In Paper Mario: The Thousand-Year Door, Peach sends multiple emails to Mario during the plot. Almost all of them take her exactly 3 seconds to type.
The length of the emails she types in 3 seconds varies from 54 words to the longest one seen below, at 126 words.
Peach: I'm OK
My Dearest Mario, I send this letter in the hope that it reaches you safely. I am being held against my will in some strange place. Though I do not know where I am, I remain unharmed and in relative comfort.
Those who have captured me seem to be after the map I sent to you earlier. They may be hoping to use it to find objects they call the "Crystal Stars." I do not know what they are planning, but I have a feeling it is not anything positive.
Mario, please collect these Crystal Stars before they do. You must! They are already aware that you have the map, so please be very careful.
And please... Don't worry about me.
-Princess Peach-
At the current world record typing speed of 319 words per minute, Peach should have been able to get about this far into the email.
In order to finish the email in three seconds, she needed to type with an a speed of 2520 words per minute, 7.9 times the world record.
While the quick typing is clearly merely a way to make the scene move along more quickly and should not be taken as accurate depiction of Peach's typing skills, it is still humorous to imagine the implications arising from it if taken at face value.
Source: analysis inspired by @nintendostuff.bsky.social
533206781
Reposted by Nadim Kobeissi
Rivaldi Tandra @rivalditan11.bsky.social · 29/09/2026
Lebanon Official Entry to the 99th Oscars Best International Feature Film
022
Reposted by Nadim Kobeissi
Louis Barclay @louisbarclay.bsky.social · 29/09/2026
The latest urgent research from the Center for the Alignment of AI Alignment Centers: alignmentalignment.ai/caaac/blog/p...
alignmentalignment.ai
Prediction: AI will kill every human by next year, or not
Our latest prediction model uses cutting-edge binary methodology to forecast potential AI futures
0115
Nadim Kobeissi @nadim.computer · 28/09/2026
youtu.be
DELTARUNE - Sunset of 7 Suns
YouTube video by InstrumentManiac
010
Nadim Kobeissi @nadim.computer · 28/09/2026
Today’s weight lifting music
music.apple.com
SeyNoe World by SeyNoe on Apple Music
Album · 2021 · 8 Songs
010
Nadim Kobeissi @nadim.computer · 27/09/2026
I am now 36 years old. This is, according to my wife, much better than me being 30 years old, because at 30, I was “an idiot”.
160
Nadim Kobeissi @nadim.computer · 27/09/2026
🚨‼️BREAKING: MY MOTHER DESCRIBED MY HUMMUS AS “PERFECT”
3440
Nadim Kobeissi @nadim.computer · 27/09/2026
soundcloud.com
Sorry Hand (Noelle Battle)
* Heh, you want to see somethin' REALLY cool? (Susie will try ACTing!) * Uuumm... Okay!!! @lexxiemoww @visioncrew-deltarune
000
Nadim Kobeissi @nadim.computer · 27/09/2026
My mother is visiting me in France and we have combined Gogeta-style to make THE ULTIMATE HUMMUS
040
Reposted by Nadim Kobeissi
SMBC Comics @smbccomics.bsky.social · 26/09/2026
He's only given one final week to live but having a salary is nice. COMIC ◆ www.smbc-comics.com/comic/all-ri... PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com
1-panel SMBC comic update. A man is practicing for an interview in front of a mirror.  He says "hey, that’s all right. Hey, we all make mistakes. Hey, who could’ve seen it coming? That’s it. Nailed it. Ready for the interview." The caption below the panel reads "The last available human job was being the thing AI apologizes to."
115918
Nadim Kobeissi @nadim.computer · 25/09/2026
000
Reposted by Nadim Kobeissi
Rei8bit @rei8bit.bsky.social · 23/09/2026
⚡️Electro x Funkyy⚡️ 好きな音全部入りChiptune Used SoundChips: Generic Insts. - Square, Triangle, WaveTable, Sine FM - OPL2, Generic 2-OP NES - Namco163 PSG - SunSoft5B, SSG PCM - OPNA, PCM (11track) #KiraStudio #Digifu
26620
Reposted by Nadim Kobeissi
Rei8bit @rei8bit.bsky.social · 25/09/2026
ことばのぱずる もじぴったんDS / Kotoba no Puzzle: Mojipittan - Menu (harmonic picnic) [AY-3-8910+SCC Arrangement] Original by Satoru Kōsaki #Chiptune #FurnaceTracker #MSX
34713
Nadim Kobeissi @nadim.computer · 25/09/2026
youtube.com
Verifpal Workbench: Demo
YouTube video by Symbolic Software
020
Reposted by Nadim Kobeissi
Carbonadoks @carbonadoks.com · 24/09/2026
Pleometrics PC-98 P(Doom) video is so good.
811722
Reposted by Nadim Kobeissi
Rob Patro @robp.bsky.social · 24/09/2026
What is "thought", how do you *know* there is none? Is it only thought if humans do it? Only if neurons are the substrate? We shouldn't anthropomorphize machines, of course, but we also should accept that we'll eventually have to grapple with hard questions, like what are thought & intelligence.
131
Reposted by Nadim Kobeissi
Zach Weinersmith @zachweinersmith.bsky.social · 22/09/2026
Artists: but I don't want to lose my job. I love it. Mathematicians: but I don't want to lose my job. I love it. Economists: LONG HAVE I AWAITED THIS HOUR! DESTROY ME, EFFICIENCY, AND LET UTILIZATION-ADJUSTED TOTAL FACTOR PRODUCTIVITY RISE ON THE WIND OF MY ASHES!
1869881
Nadim Kobeissi @nadim.computer · 23/09/2026
Hello from the musical event of the century
000
Nadim Kobeissi @nadim.computer · 23/09/2026
Such an amazing work playlist!!!
youtu.be
The Internet Felt Like This | dnb mix to stay focus
YouTube video by Musicing.mp3
000
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 · 23/09/2026
Claude Opus 5.5 rewrote Verifpal's 18,000 LoC engine into a 4,500 LoC engine overnight, making it 2.5x faster on average, passing the entire (extremely comprehensive) 1,330-test test suite, and having it catch five additional missed attacks. Where are we heading?
190
Nadim Kobeissi @nadim.computer · 22/09/2026
I asked my wife if she’d like to go to the circus. She stared me right in the eyes and said “I’m at the circus every day.”
080
Reposted by Nadim Kobeissi
Miro Haller @mirohaller.bsky.social · 21/09/2026
We finally finished the universal signature forgery for 1024-bit RSA! 2^32 oracle queries, 1200 core years precomputation, 180 core years for an individual forgery, and 3 years of human labor (no AI involved) by Laura, Adam, Nadia, Emmanuel and me to pull of this computation against real HSMs.
14019
Reposted by Nadim Kobeissi
Ars Technica @arstechnica.com · 21/09/2026
The US military was preparing to intercept and board the ship, with air support, before officials discovered that a chatbot had inaccurately identified the material the ship was carrying.
arstechnica.com
AI hallucination of Chinese nuclear components almost led to US military attack
But the military's overall use of AI seems to be accelerating.
14202107
Nadim Kobeissi @nadim.computer · 21/09/2026
I built palestinebanner.com, a free, copy-and-paste banner for your website: 🇵🇸 “Freedom, dignity, and justice for Palestinians.” No JavaScript or tracking. Clicking it leads to donation options for PCRF, MAP, and UNRWA.
palestinebanner.com
Palestine Banner — Free HTML Banner for Your Website
Add a free Palestine solidarity banner to your website. Copy and paste the HTML to support Palestinians and link visitors to donation options.
061
Reposted by Nadim Kobeissi
Zach Weinersmith @zachweinersmith.bsky.social · 21/09/2026
Part of why I think AI may move faster than people think is that a lot of breakthrough ideas are, like, kinda stupid? arxiv.org/pdf/2609.21032 This paper basically says if you have more agents and they communicate, that's better than taking the best results from independent agents.
1015312
Reposted by Nadim Kobeissi
Rust Bytes @rustaceans.bsky.social · 18/09/2026
Why TeX is Slow and How We Rebuilt It in Pure Rust > ratex is a pure-Rust TeX rebuild that compiles documents 10–70× faster than TeX Live via in-memory packages and smart caching.
Image: Why TeX is Slow and How We Rebuilt It in Pure Rust 


> ratex is a pure-Rust TeX rebuild that compiles documents 10–70× faster than TeX Live via in-memory packages and smart caching.
2155
Reposted by Nadim Kobeissi
c0nc0rdance @c0nc0rdance.bsky.social · 18/09/2026
Brilliant mathematician Emmy Noether was initially barred from teaching at University of Göttingen because she was a woman. She taught for 4 years as a "guest lecturer" under David Hilbert's name. Hilbert, exasperated at the stupidity of the rule: "Gentlemen, this is not a bathing establishment."
artsci.tamu.edu
From Algebra to Airplane Crashes, Emmy Noether’s Lasting Influence on Mathematics
Emmy Noether, whom some consider the “Mother of Modern Mathematics,” continues to shape modern research and the studies of mathematicians today; including research into the investigation of airplane c...
161302512
Nadim Kobeissi @nadim.computer · 18/09/2026
Current status (DISCLAIMER: MY WIFE BROUGHT ME HERE)
230
Reposted by Nadim Kobeissi
Vitalik Buterin @vitalik.ca · 18/09/2026
Screenshots of the Philip Morris website. (reminder: they're a leading cigarette company) It's a good calibration point for how good modern marketing is at dressing up pretty much any corporate (or, for that matter, government) behavior and making it sound responsible and safe.
2026-09-18_09-55-11.png2026-09-18_09-55-24.png
1192
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 · 16/09/2026
THE PRINCE, ALONE IN DEEPEST DARK
000
Nadim Kobeissi @nadim.computer · 16/09/2026
An in-depth comparison between Verifpal, ProVerif and Tamarin: verifpal.com/docs/compari...
verifpal.com
Verifpal: Comparison
Compare Verifpal, ProVerif and Tamarin: bounded attack search, unbounded proofs, modeling effort, readable findings and the limits of each approach.
000
Nadim Kobeissi @nadim.computer · 15/09/2026
A few months ago a student asked me who do I look up to. After thinking about this question for a while, I think my definitive answer is: Salman Rushdie and Norman Finkelstein in terms of intellect and character, and Toby Fox in terms of poetic and artistic output.
010
Reposted by Nadim Kobeissi
SMBC Comics @smbccomics.bsky.social · 15/09/2026
I wonder if the cost of chips has cut down on conspiracies. COMIC ◆ www.smbc-comics.com/comic/gates-3 PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com
1-panel SMBC comic update. A man with a beard sits in the left corner, agitated, stating "Bill Gates put microchips in me! Hundreds of ‘em!" A man wearing glasses swiftly turns towards him, asking "really? What year? Do they have onboard memory? Where are you sleeping tonight?" The caption below the comic reads "The RAM shortage takes a dark turn."
4508133
Reposted by Nadim Kobeissi
Kenny Paterson @kennyog.bsky.social · 10/09/2026
Our latest “Crypto in the Wild” project, analysing secure email gateways. We give 29 cryptographic attacks on 4 different products, from SEPPmail, Cisco, Proton and CipherMail. Paper to appear at ACM CCS 2026.
11911
Reposted by Nadim Kobeissi
Kenny Paterson @kennyog.bsky.social · 13/09/2026
TL;DR: using compression before encryption is much weaker than we thought. Tiny length differences can be amplified - almost without limit - and noise-based or bucketization countermeasures are then easy to bypass. Joint work with @prefix-free.bsky.social and Lenka Mareková, to appear at CCS 2026.
12415
Nadim Kobeissi @nadim.computer · 14/09/2026
Currently waiting outside of a French university in my car to pick up my wife after she finishes teaching her course. That’s right! My wife is now a university professor and I’m so proud of her!!!!
1120
Nadim Kobeissi @nadim.computer · 14/09/2026
Verifpal's language reference page is beautiful: verifpal.com/docs/referen...
verifpal.com
Verifpal: Language Reference
Search Verifpal syntax, five security query types, all 25 cryptographic primitives, and the meaning of analysis results.
020
Reposted by Nadim Kobeissi
Bryan Cantrill @bcantrill.bsky.social · 13/09/2026
The contagion of fear bcantrill.dtrace.org/2026/09/13/t...
bcantrill.dtrace.org
The contagion of fear | The Observation Deck
1624083
Reposted by Nadim Kobeissi
Karim 🐦 @karim6.bsky.social · 14/09/2026
There are various ways to characterize what's unfolding in southern #Lebanon, but at its core, #Israel is rendering the entire area unlivable.
133
Nadim Kobeissi @nadim.computer · 13/09/2026
We were fired by our accountant because apparently Cedarcrypt and my Lebanon course are money laundering operations: www.linkedin.com/posts/nadimk...
linkedin.com
Applied Cryptography — Symbolic Software | Nadim Kobeissi
This week, my company Symbolic Software was fired by our accountant from the Cabinet Nathalie Langy & Associés, because I tried to help my applied cryptography students in Lebanon by paying my teachin...
0113
Nadim Kobeissi @nadim.computer · 13/09/2026
macOS 27 seems great so far. It's refreshing to see Apple focus on just improving the basics.
010
Nadim Kobeissi @nadim.computer · 12/09/2026
Beautiful morning in our suburb!
130
Nadim Kobeissi @nadim.computer · 12/09/2026
Excellent blog post on attempts to write constant-time cryptographic code in JavaScript: soatok.blog/2026/09/12/t...
soatok.blog
The V8 JavaScript Runtime Undermined My Constant-Time JavaScript Library - Dhole Moments
Six years ago, I wrote a blog post titled Soatok’s Guide to Side-Channel Attacks in which I discussed the general topic of side-channels in cryptographic applications, and how to avoid them, …
030
Reposted by Nadim Kobeissi
Zach Weinersmith @zachweinersmith.bsky.social · 12/09/2026
Hmm
22755143
Nadim Kobeissi @nadim.computer · 11/09/2026
Very interested in iPhone Duo, will likely be picking one up on release. Anyone else?
010
Nadim Kobeissi @nadim.computer · 11/09/2026
Today’s weight lifting music
music.apple.com
Hyperion777AFMIX par NANORAY sur Apple Music
Morceau · 2022 · Durée 7:11
100