Listen now (30 min) | In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.