In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.
Share this post
Idealized Models for Free
Share this post
In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.