Root Causes: A PKI and Security Podcast
Root Causes 608: The Fragility of Formal Verification
This episode discusses the fragility of formal verification in cryptographic algorithms. It covers the difficulties in proving security due to implementation weaknesses and failure in randomness.