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