If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard (Transcript of Discussion).

Published in: Security Protocols Workshop (2023)

Keyphrases