Automated Attacker Synthesis for Distributed Protocols

Published in SAFECOMP, 2020

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

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.

Arxiv Link