Verifiable Verification in Cryptographic Protocols (RWC 2024)
▶Verifiable Verification in Cryptographic Protocols (RWC 2024) — a 2024 IACR security conference talk on crypto (20:02 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube