unreal-world cryptography / @joyofcrypto

Oregon State University
Joined August 2018
The Joy of Cryptography is now available for free online, in its entirety. joyofcryptography.com/ Thanks to @mitpress for supporting open access.
2
108
3
378
22,676
I've been working on a tool to help humans write and understand game-hopping security proofs. It's just for "pen-and-paper" reasoning, not a formal verification tool. 1/3
2
13
59
2,223
The idea is to facilitate reasoning about a sequence of hybrids/hops, both "vertically" (a single hybrid's behavior) and "horizontally" (how a single line evolves throughout the sequence). We successfully used the tool to write the proofs for our Eurocrypt submission! 2/3
2
2
10
472
You can try it out at hops.garbledcircus.com/ Click the big "?" at the top for a usage tutorial and to load a few example proofs (including the one in the screenshots here). 3/3
1
1
4
365
My first experiment with LLM-assisted coding: an editor for writing sequence of hybrids. There is no formal verification; it's just display logic for "pen and paper" security proofs, meant to help the author reason about the sequence of hybrids "horizontally" and "vertically".
3
3
1
32
1,560
It can also attempt to "align" all the hybrids, in case you like this kind of view. For this simple proof, it is able to align perfectly (but if your hybrids swap the order of lines, then edge crossing and non-straight edges are inevitable).
2
4
334
Mike Rosulek retweeted
I resigned from Google DeepMind bc it broke its founding promise by selling AI to the military without restrictions against killer robots or mass spying. For months, I worked to stop this but watched powerful ethicists and institutions choose silence. Here's what happened. 🧵
349
4,741
281
18,235
1,105,696
Mike Rosulek retweeted
I’m so saddened to hear of the passing of Michael Rabin this morning. Michael was a father of modern cryptography, a true legend. And I was fortunate to be able to call him my teacher. If you’re reading this post or did anything else on the internet today, you’ve most definitely used technology that he pioneered. When I had the privilege to study under Michael, he was already over 80 years old. But I’ve never had a more energetic teacher, someone who was so passionate not only about understanding the universe, but about sharing that knowledge with the next generation. The world lost a giant today. May his memory be a blessing.
8
26
2
210
14,089
Mike Rosulek retweeted
Major announcement: My highly successful Applied Cryptography course taught last year at @AUB_Lebanon is returning as an online course, available for FREE for any qualifying student from any Lebanese university! Read more + instructions on how to apply: symbolic.software/blog/2026-…
4
6
41
2,226
Mike Rosulek retweeted
#award Announcing the 2026 IACR Fellows iacr.org/fellows/ Congratulations to everyone!
9
51
3,982
Mike Rosulek retweeted
Today we announced the recipients of the ‘RSAC Conference Award for Excellence in the Field of Mathematics’: Yehuda Lindell and Nigel Smart, as well as the inaugural ‘RSAC Test of Time Award’ winning papers, to be honored at RSAC 2026. Learn more: spr.ly/6014B61vJG
1
1
1
10
3,986
In Timberborn 1.0 you can configure a sluice to open if the beavers find a SHA-3 collision. Stay tuned here for updates.
Timberborn 1.0 brings bzzz bzzz zzzt bzzz. ⏱️ Read more ⬇️⬇️⬇️ store.steampowered.com/news/…
4
628
Tell all your friends: Crypto 2026 submission deadline is Thursday midnight US PACIFIC TIME --- not AoE! crypto.iacr.org/2026/callfor…
1
6
17
1,717
Masked agents of the US state are executing people in the streets and powerful leaders are openly lying to cover for them. To everyone in my industry who’s ever claimed to value freedom—draw on the courage of your convictions and stand up.
71
296
11
1,574
65,142
Don't write a textbook unless all existing textbooks on the topic make you irrationally angry. If you do write one, your reward is that there will now be one more textbook making you irrationally angry, but this one will have your name on it.
1
1
17
1,100
The Joy of Cryptography is finally on bookshelves! Thanks to @mitpress for supporting the adventure. The book will eventually be completely open-access, but for now the first 3 chapters are available at joyofcryptography.com, featuring some fun interactive elements.
63
262
12
1,998
86,921
Shoutout to @rougeux for the lovely website design! He only had to wait 4 years for me to actually finish the book.
17
2,158
Save the date! The next Theory and Practice of Multiparty Computation (#TPMPC) workshop will take place in Aarhus, Denmark, on May 18–21, 2026.
1
4
8
1,471
The program for the Simons MPC workshop is now available: simons.berkeley.edu/workshop… See you there!
1
5
1
26
3,913