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

Om Podcasten

MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL) Alliances serves as a gateway into the lab for industry and governmental institutions seeking a closer connection to the work, researchers, and students of CSAIL. Our podcast aims to provide inside access to topics covered by CSAIL and other leaders advancing computer science and AI research.