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

Artwork

Tech MIT CSAIL Alliances CSAIL Alliances

Innhold levert av MIT CSAIL Alliances and CSAIL Alliances. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av MIT CSAIL Alliances and CSAIL Alliances eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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

3y ago 26:38

Del

MP3•Episoder hjem

Innhold levert av MIT CSAIL Alliances and CSAIL Alliances. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av MIT CSAIL Alliances and CSAIL Alliances eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.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

56 episoder

#Tech #MIT CSAIL Alliances #CSAIL Alliances

Artwork

Forging the Future of Cryptography with Adam Chlipala

CSAIL Alliances Podcasts

0-10 subscribers

published 3y ago

Del

MP3•Episoder hjem

Innhold levert av MIT CSAIL Alliances and CSAIL Alliances. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av MIT CSAIL Alliances and CSAIL Alliances eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.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

56 episoder

#Tech #MIT CSAIL Alliances #CSAIL Alliances

כל הפרקים

×

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

Lytt til 500+ tema