Sep 21, 2022 • 40M

What is security?

What do we mean when we say some piece of cryptography is secure? What are cryptographic assumptions? How does modelling security fail in practice?

 
1×
0:00
-39:53
Open in playerListen on);
    Substack App
    Download MP3
    Get a private RSS link for listening
    Subscribe to CK's Cold Dive to get a private link for listening in your favorite podcast player. Learn about RSS.
Musings about cryptography, software, and technology
Episode details
Comments

Topics covered in this episode:

  • 1:40 The fundamental advantage of an attacker.

  • 3:02 The need for threat modelling.

  • 5:49 Security games.

  • 13:13 What does it mean for games to be secure?

  • 15:43 How do you prove that no adversary can break a game?

  • 19:24 What kind of cryptographic assumptions are there?

  • 28:58 How modelling security can fail in practice?

If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:

If you want even more updates, feel free to follow me on Twitter.