CK's Cold Dive
CK's Cold Dive
What is security?

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?

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.

CK's Cold Dive
CK's Cold Dive
Musings about cryptography, software, and technology