%0 Conference Paper %1 conf/spw/AndersonB23a %A Anderson, Ross J. %A Boucher, Nicholas %B Security Protocols Workshop %D 2023 %E Stajano, Frank %E Matyás, Vashek %E Christianson, Bruce %E Anderson, Jonathan %I Springer %K dblp %P 205-210 %T If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard (Transcript of Discussion). %U http://dblp.uni-trier.de/db/conf/spw/spw2023.html#AndersonB23a %V 14186 %@ 978-3-031-43033-6

@inproceedings{conf/spw/AndersonB23a, added-at = {2023-10-27T00:00:00.000+0200}, author = {Anderson, Ross J. and Boucher, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/28aca5720fc4ff60711fbb080a1bf0ce1/dblp}, booktitle = {Security Protocols Workshop}, crossref = {conf/spw/2023}, editor = {Stajano, Frank and Matyás, Vashek and Christianson, Bruce and Anderson, Jonathan}, ee = {https://doi.org/10.1007/978-3-031-43033-6_20}, interhash = {625cc46495627b4cb799ed4f357b80a8}, intrahash = {8aca5720fc4ff60711fbb080a1bf0ce1}, isbn = {978-3-031-43033-6}, keywords = {dblp}, pages = {205-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:23:08.000+0200}, title = {If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard (Transcript of Discussion).}, url = {http://dblp.uni-trier.de/db/conf/spw/spw2023.html#AndersonB23a}, volume = 14186, year = 2023 }