Thanks for visiting The Cell Phone Junkie! I will be taking the time each week to discuss my favorite topic, cell phones. Any feedback is appreciated and welcome. You can email me at: questions (AT) thecellphonejunkie (DOT) com or call: 206-203-3734 Thanks and welcome!
…
continue reading
Content provided by MIT CSAIL Alliances and CSAIL Alliances. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MIT CSAIL Alliances and CSAIL Alliances or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Forging the Future of Cryptography with Adam Chlipala
MP3•Episode home
Manage episode 317159847 series 1237354
Content provided by MIT CSAIL Alliances and CSAIL Alliances. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MIT CSAIL Alliances and CSAIL Alliances or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
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
…
continue reading
72 episodes
MP3•Episode home
Manage episode 317159847 series 1237354
Content provided by MIT CSAIL Alliances and CSAIL Alliances. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MIT CSAIL Alliances and CSAIL Alliances or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
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
…
continue reading
72 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.