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