TY  - RPRT
TI  - If it's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard
AU  - Ross Anderson
AU  - Nicholas Boucher
PY  - 2023
UR  - https://arxiv.org/abs/2305.04755
ID  - 2305.04755
ER  -