Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru. Automated Attacker Synthesis for Distributed Protocols. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 133-149, Springer, 2020. [doi]
Abstract is missing.