%0 Conference Paper %1 conf/safecomp/HippelVTN20 %A von Hippel, Max %A Vick, Cole %A Tripakis, Stavros %A Nita-Rotaru, Cristina %B SAFECOMP %D 2020 %E Casimiro, António %E Ortmeier, Frank %E Bitsch, Friedemann %E Ferreira, Pedro %I Springer %K dblp %P 133-149 %T Automated Attacker Synthesis for Distributed Protocols. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#HippelVTN20 %V 12234 %@ 978-3-030-54549-9

@inproceedings{conf/safecomp/HippelVTN20, added-at = {2020-08-20T00:00:00.000+0200}, author = {von Hippel, Max and Vick, Cole and Tripakis, Stavros and Nita-Rotaru, Cristina}, biburl = {https://www.bibsonomy.org/bibtex/20af09bab32bccd7c8383784a276304fc/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2020}, editor = {Casimiro, António and Ortmeier, Frank and Bitsch, Friedemann and Ferreira, Pedro}, ee = {https://doi.org/10.1007/978-3-030-54549-9_9}, interhash = {2f08f7bfacffdfad0d19478bab8b94d4}, intrahash = {0af09bab32bccd7c8383784a276304fc}, isbn = {978-3-030-54549-9}, keywords = {dblp}, pages = {133-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-21T11:36:05.000+0200}, title = {Automated Attacker Synthesis for Distributed Protocols.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#HippelVTN20}, volume = 12234, year = 2020 }