Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}