Published in SAFECOMP, 2020
In this paper we take a formal approach to the automated synthesis of attackers, ie adversarial processes that can cause the protocol to malfunction. Specifically, given a formal threat model capturing the distributed protocol model and network topology, as well as the placement, goals, and interface (inputs and outputs) of potential attackers, we automatically synthesize an attacker.
Recommended citation: von Hippel, M., Vick, C., Tripakis, S., & Nita-Rotaru, C. (2020). Automated Attacker Synthesis for Distributed Protocols. arXiv preprint arXiv:2004.01220. http://academicpages.github.io/files/paper1.pdf