Root Causes: A PKI and Security Podcast
Root Causes 436: Formal Proofs
This episode of Root Causes discusses formal proofs in cryptography, highlighting their critical role. It explores how advancements in processes and the use of AI can accelerate the creation and verification of these proofs for cryptographic concepts.