29 Jan 2024
56m

High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

Podcast cover

Security Cryptography Whatever

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan