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.

This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit cronokirby.substack.com