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.