Forging The Future Of Cryptography With Adam Chlipala CSAIL Alliances Podcasts podcast

Artwork

Tech MIT CSAIL Alliances CSAIL Alliances

Inhalt bereitgestellt von MIT CSAIL Alliances and CSAIL Alliances. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von MIT CSAIL Alliances and CSAIL Alliances oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

CSAIL Alliances Podcasts « »
Forging the Future of Cryptography with Adam Chlipala

3+ y ago 26:38

Teilen

MP3•Episode-Home

Inhalt bereitgestellt von MIT CSAIL Alliances and CSAIL Alliances. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von MIT CSAIL Alliances and CSAIL Alliances oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/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

69 Episoden

#Tech #MIT CSAIL Alliances #CSAIL Alliances

Artwork

Forging the Future of Cryptography with Adam Chlipala

CSAIL Alliances Podcasts

13 subscribers

published 3+ y ago

Teilen

MP3•Episode-Home

Inhalt bereitgestellt von MIT CSAIL Alliances and CSAIL Alliances. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von MIT CSAIL Alliances and CSAIL Alliances oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/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

69 Episoden

#Tech #MIT CSAIL Alliances #CSAIL Alliances

Alle Folgen

×

Willkommen auf Player FM!

Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.

Höre 500+ Themen zu

Hören Sie sich diese Show an, während Sie die Gegend erkunden