Mar 10 • 30M

Idealized Models for Free

In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.

 
1×
0:00
-29:55
Open in playerListen on);
    Substack App
    Download MP3
    Get a private RSS link for listening
    Subscribe to CK's Cold Dive to get a private link for listening in your favorite podcast player. Learn about RSS.
Musings about cryptography, software, and technology
Episode details
Comments

Topics

I should also mention that Léo Ducas had some similar ideas way back in 2009

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 check out my blog, and you can even follow me on Twitter. (Or on Mastodon).

n more updates, feel free to check out my blog, and you can even follow me on Twitter. (Or on Mastodon).