

High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
5 snips Jan 29, 2024
Franziskus Kiefer and Karthik Bhargavan discuss high-assurance implementation of ML-KEM, transitioning from Rust to C in cryptographic code development, optimizing performance and ensuring safety in cryptographic implementations, tools for formal analysis in cryptography, advancements in post-quantum crypto, and proving TLS security using cryptographic proofs in TLS 1.3 implementation.
Chapters
Transcript
Episode notes
1 2 3 4 5 6
Introduction
00:00 • 2min
Ensuring High Assurance in Cryptography Implementations
01:39 • 9min
Optimizing Performance and Ensuring Safety in Cryptographic Implementations
10:58 • 26min
Tools for Verification and Formal Analysis in Cryptography
36:58 • 12min
Transitioning from Rust to C in Cryptographic Code Development
48:49 • 5min
Advancements in Post-Quantum Crypto and TLS Security
53:56 • 2min