cryptographer interested in authentication and anonymity

μ-almost everywhere
Joined November 2009
i need cable management for lean blueprints
2
173
Michele Orrù retweeted
"Several vulnerabilities" in the Linux kernel lwn.net/Articles/1097401/
75
152
149
1,714
1,313,959
a swarm of agents grinding at 1M$/hour on the most efficient GPUs vs two french mathematicians at 40K€/year with a bad smoking habit
2
2
72
4,651
we weren't this shocked when it happened to artists, were we
7
381
encrypting each class encryption key with an additional encryption key
7
310
main takeaway from usenix: now all slides look the same
11
560
i am lost and confused
The vibes at the Grimes Machine Consciousness event at Lighthaven were most excellent Performance even featured some live AI art
2
8
1,787
meanwhile in europe
I got this email from a former colleague at UW to a mailing group recommending all of us to use AI. This is from a remarkable computer scientist, who invented the fastest algorithm for the traveling salesman problem. OpenAI is accelerating and transforming how science is done with GPT 5.5 Pro. Excited to unveil our work on this soon.
1
2
1,236
Our work on sigma-rs and credentials was accepted to USENIX 2026! Thanks to the @torproject and @OpenObservatory for the real-world problems, feedback, and inspiration that shaped it. With pq-privacy is solved, the next step is post-quantum soundness. ia.cr/2026/794
1
6
31
1,938
Went to Tsinghua, Peking, IETF 125 to talk about cryptography. Striking how technology is embedded in daily life. Chinese students are fantastic.
4
698
Quaterly reminder that this is an API design problem and that you should use github.com/arkworks-rs/spong…
We found the same Fiat-Shamir bug in six independent zkVMs. The result: an attacker can bypass the cryptography entirely and prove mathematically impossible statements (like minting $1M out of thin air). Full breakdown ↓
6
17
4,198
one day I hope to be a great advisor like Karthikeyan and lucky enough to have students as smart as Nadim who continue working on my research line even after their PhD
MASSIVE rewrite of my Verification Theatre paper now on ePrint with added: - Three new bugs that are *inside* libcrux's verified core, - Comparison to Amazon's verified LibCrypto components, - Many additional sections, discussion, details! Go read it! eprint.iacr.org/2026/192
12
1,114
Michele Orrù retweeted
Former BlackHat board member Vincenzo Iozzo, and co-author of iOS Hacker's Handbook, had a relationship with Jeffrey Epstein. It appears Epstein attended DEFCON and/or BlackHat in 2013 and 2015, possibly 2016.
69
290
47
2,101
292,238
The zk agenda is moving! Just spoke at Linux Foundation's Decentralized Trust, great to see people realizing the lack of specifications in the space and working towards fixing this.
323
My talk at Collège de France is out! It’s been fun to give a lecture about modern tools for anonymity starting from simple zk tools, and bridge theory of cryptography with real-world authentication systems. youtu.be/5LlPTF8iivE?si=_uLv…
1
9
546
the new dragon book cover is incredible
523
Presenting my paper on keyed-verification anonymous credentials at @acm_ccs in Taipei in just a few hours! 🗞️ eprint.iacr.org/2024/1552 Exciting to present it in the very same venue where I wrote a big chunk of it while attending @rightscon!
4
478
Thrilled to have been invited to College de France for a seminar about zero-knowledge and online anonymity! college-de-france.fr/fr/agen…
1
1
9
665