Login / Signup

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

Ross J. AndersonNicholas Boucher
Published in: CoRR (2023)
Keyphrases
  • real time
  • information systems
  • high dimensional data
  • end to end
  • provably secure