The Joy of Cryptography is an undergraduate-level textbook that introduces students to the fundamentals of provable security. By @GarbledCircus via @mitpress

Corvallis, Oregon, USA
Joined April 2019
The Joy Of Cryptography retweeted
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
The Joy Of Cryptography retweeted
Here is a little writeup I prepared for the Computer Aided Security Proofs (CAPS) workshop at Eurocrypt, showing the CPA-security of hybrid encryption in the style of @JoyOfCrypto. It should give you a sense of what the upcoming web edition will be like! garbledcircus.com/kemdem/lef…
2
5
22
2,038
The Joy Of Cryptography retweeted
Big announcement: The next edition of The Joy of Cryptography will be published by @mitpress!
6
26
1
110
8,125
Best way to show what changes in one step of a game-hopping proof? (see pictures below)
50%both games side-by-side
50%one game with diff
22 votes • Final results
2
2
8
1,132
Well that certainly clears things up.
1
6
529
Working on an encrypted messaging chapter...
4
41
2,187
Just received a hard bound copy of @JoyOfCrypto - many thanks to @durumcrustulum!! 📕 🧮 📚
13
1,577
What is your favorite random-oracle construction in the *symmetric-key* world?
2
3
10
3,495
The Joy Of Cryptography retweeted
I had put off looking at @JoyOfCrypto because "meh, why another cryptography textbook". How wrong I was, it is fantastic. I never thought you could make the OTP interesting. Using it to introduce hybrid arguments is brilliant w/o indistinguishability is so nice.
4
8
1
57
15,874
Replying to @kaepora
I think Joy of Cryptography should have two sequels: - The Ecstasy of Cryptography (Public key) - The Pain of Cryptography (Simulation and Protocol Security)
8
1,612
I'm not aware of any, but if anyone knows of such a place, hopefully they see this and can speak up.
Replying to @JoyOfCrypto
@JoyOfCrypto Any discord group to discuss solutions .Saw the book and this can be my Netflix in coming months .
The Joy Of Cryptography retweeted
I started working through @JoyOfCrypto and it’s such a great resource for learning how to write (good) game-based proofs… thanks @GarbledCircus for all the effort to make each proof step extraordinary clear and easy to follow!
3
4
1
27
joyofcryptography.com now offering Kyber in TLS!
Thread. Big announcement from Cloudflare today: we have opened our post-quantum cryptography alpha. We now support Kyber, a post-quantum key agreement in Cloudflare’s reverse proxy product and we want you to help test it with us. blog.cloudflare.com/experime…
7
The Joy Of Cryptography retweeted
I've been working on some hybrid-proof animations for the next generation of @JoyOfCrypto. Here is the proof of IND$-CPA security for the (r, F(k,r)⊕m) encryption scheme.
2
16
1
101
The Joy Of Cryptography retweeted
Here's the complete proof of IND$-CPA security for Enc(k,m) = (r, F(k,r)+m) -- with at least one step that is probably mysterious without commentary.
1
2
6