Security Cryptography Whatever

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.
Ask episode
Chapters
Transcript
Episode notes