Login / Signup

If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure Is Hard.

Ross J. AndersonNicholas Boucher
Published in: Security Protocols Workshop (2023)
Keyphrases
  • information systems
  • data integration