Forging the Future of Cryptography with Adam Chlipala

episode

Building 32 from MIT CSAIL Alliances not yet transcribed

▲ 0

Transcript

This episode hasn't been transcribed yet Upvotes decide what gets transcribed next — 0 so far. Sign in to upvote

Related

recent transcribed audio

Finance and Budget Committee - Sep 15, 2026 1h 43m · 15 Sep 2026 · Prince William County Finance and Budget Committee

The Art of True Happiness | Dr. Arthur Brooks 2h 49m · 14 Sep 2026 · Huberman Lab

The Chris Wolfe Podcast: The Power of Quality Supplements 48 min · 14 Sep 2026 · EyeCode Media

1208: TM Europe win the '26 Solheim Cup 1h 49m · 13 Sep 2026 · No Laying Up - Golf Podcast

MORNING TEA: Harry & Meghan's Brutal SNL Roast, Lady Gaga's Baby News & Dakota Johnson's New Man 8 min · 13 Sep 2026 · The Spill

"I don't think they have enough match winners."| First Thoughts - Brisbane vs Adelaide (14.09.26) 15 min · 13 Sep 2026 · SEN Breakfast

Report any issue

Source

Recorded10 Jan 2022

Publisherfeeds.soundcloud.com ↗

Handlerec:2205032

Show notes

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

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Sign in