ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Root Causes 436: Formal Proofs"
Episode Synopsis
Formal proofs are critical to cryptography. We discuss how better processes and AI can accelerate formal proofs of cryptographic concepts.
More episodes of the podcast Root Causes: A PKI and Security Podcast
Root Causes 54: What Is Chain of Lure?
07/11/2025
Root Causes 543: AI Finds a Zero Day
05/11/2025
Root Causes 542: Use Cases for HQC
02/11/2025
Root Causes 540: Contextual CBOM
27/10/2025
Root Causes 538: What Is an Entropy Desert?
20/10/2025
Root Causes 536: Patent Blocker on ML-KEM
15/10/2025
In God we trust