Forging the Future of Cryptography with Adam Chlipala

CSAIL Professor Adam Chlipala is working to change some of the
fundamental ways we use cryptography. His latest project, Fiat
Cryptography, utilizes formal methods to create complex
cryptographic code to guarantee correctness. Fiat Cryptography
stands to significantly change the efficiency and security of the
web. A transcript for this episode can be found here:
https://cap.csail.mit.edu/sites/default/files/resource-pdfs/Adam%20Chlipala%20Podcast%20Export%201.pdf