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