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

Artwork

Tech MIT CSAIL Alliances CSAIL Alliances

Contenuto fornito da MIT CSAIL Alliances and CSAIL Alliances. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da MIT CSAIL Alliances and CSAIL Alliances o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

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

3y ago 26:38

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da MIT CSAIL Alliances and CSAIL Alliances. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da MIT CSAIL Alliances and CSAIL Alliances o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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

55 episodi

#Tech #MIT CSAIL Alliances #CSAIL Alliances

Artwork

Forging the Future of Cryptography with Adam Chlipala

CSAIL Alliances Podcasts

0-10 subscribers

published 3y ago

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da MIT CSAIL Alliances and CSAIL Alliances. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da MIT CSAIL Alliances and CSAIL Alliances o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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

55 episodi

#Tech #MIT CSAIL Alliances #CSAIL Alliances

همه قسمت ها

×

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

Ascolta più di 500 argomenti