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

Artwork

Tech MIT CSAIL Alliances CSAIL Alliances

A tartalmat a MIT CSAIL Alliances and CSAIL Alliances biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a MIT CSAIL Alliances and CSAIL Alliances vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

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

3y ago 26:38

Megosztás

MP3•Epizód kép

A tartalmat a MIT CSAIL Alliances and CSAIL Alliances biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a MIT CSAIL Alliances and CSAIL Alliances vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.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 epizódok

#Tech #MIT CSAIL Alliances #CSAIL Alliances

Artwork

Forging the Future of Cryptography with Adam Chlipala

CSAIL Alliances Podcasts

0-10 subscribers

published 3y ago

Megosztás

MP3•Epizód kép

A tartalmat a MIT CSAIL Alliances and CSAIL Alliances biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a MIT CSAIL Alliances and CSAIL Alliances vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.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 epizódok

#Tech #MIT CSAIL Alliances #CSAIL Alliances

כל הפרקים

×

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

Hallgasson 500+ témát