Root Causes 608: The Fragility of Formal Verification

This episode discusses the fragility of formal verification in cryptography. It covers the challenges in proving security due to difficulties in formal verification, implementation weaknesses, and failures in randomness.

Listen