GarbledCircus Profile Banner
Mike Rosulek Profile
Mike Rosulek

@GarbledCircus

Followers
2K
Following
1K
Media
93
Statuses
673

unreal-world cryptography / @joyofcrypto

Oregon State University
Joined August 2018
Don't wanna be here? Send us removal request.
@GarbledCircus
Mike Rosulek
6 years
@matthew_d_green 80s/90s: millionaires buying dinner.00s/10s: sugar beet auctions.20s/beyond: ML-fueled technological dystopia where your every action is mined to maximize corporate profit. now with privacy!.
2
12
70
@GarbledCircus
Mike Rosulek
2 months
The program for the Simons MPC workshop is now available: See you there!.
1
6
23
@GarbledCircus
Mike Rosulek
3 months
CAREER award program completely cut,.GRFP cut 50%,.CISE cut 65%.
2
3
9
@GarbledCircus
Mike Rosulek
3 months
RT @StoffelMPC: When someone asks me if they should read "A Pragramatic Introduction to Secure Multiparty Computation" .
0
3
0
@GarbledCircus
Mike Rosulek
4 months
@JoyOfCrypto Be sure the play with the interactive proof visualization at the end. And here's a link to the very interesting workshop:
0
0
0
@GarbledCircus
Mike Rosulek
4 months
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
Security of the KEM-DEM Paradigm - The Joy of Cryptography
2
5
20
@GarbledCircus
Mike Rosulek
4 months
Uh, thanks for citing my article I guess?
Tweet media one
0
0
16
@GarbledCircus
Mike Rosulek
4 months
Tweet media one
0
0
6
@GarbledCircus
Mike Rosulek
6 months
Interested in learning about PAKE? Jiayu Xu has posted his materials from a special topics course @
sites.google.com
I have taught the following classes at Oregon State University: (OSU has a quarter system with three terms a year, each of which has 10 weeks + 1 finals week)
0
2
17
@GarbledCircus
Mike Rosulek
7 months
RT @socrates1024: @badcryptobitch @StoffelMPC most fun MPC since @GarbledCircus picked his screen name.
0
4
0
@GarbledCircus
Mike Rosulek
10 months
RT @badcryptobitch: Recently, many people have been nagging me about getting started with MPC. Here's a short list of resources that are b….
0
17
0
@GarbledCircus
Mike Rosulek
11 months
There will also be an open access edition of the book. Rather than a PDF, it will be a website whose killer feature is its interactive visualizations of hybrid security proofs. I can't wait for you to see it all!.
0
6
36
@GarbledCircus
Mike Rosulek
11 months
There will be new chapters on random oracles, ratcheting, authenticated key exchange, zero-knowledge (sigma protocols), and post-quantum.
1
1
17
@GarbledCircus
Mike Rosulek
11 months
I have just turned in the completed manuscript. The new edition is a complete rewrite from scratch, with all the improvements I've wanted to do for the past 5 years, and more.
1
1
12
@GarbledCircus
Mike Rosulek
11 months
Big announcement: The next edition of The Joy of Cryptography will be published by @mitpress!.
6
27
114
@GarbledCircus
Mike Rosulek
1 year
This question came up today because of a discussion I had with a grad student whose definition of "real-or-random" didn't match mine! I was confused why he would claim that real-or-random was equivalent to left-or-right. He said "Bellare & Rogaway proved it" and he was right!.
0
0
4
@GarbledCircus
Mike Rosulek
1 year
I was surprised to learn this, because I always thought "real-or-random" was a synonym for "IND$-xxx", which is option #2 in my poll. I'm glad to see that I'm not alone. This seems to be the more common modern meaning of "real-or-random.".
1
0
4
@GarbledCircus
Mike Rosulek
1 year
some context to this poll:. The term "real-or-random" was introduced in Bellare-Desai-Jokipii-Rogaway'97 They define it to mean option #1 in my poll.
2
0
3
@GarbledCircus
Mike Rosulek
1 year
"Real-or-random" security for encryption means which two things are indistinguishable?.
3
2
5