TY  - RPRT
TI  - Automated Attacker Synthesis for Distributed Protocols
AU  - Max von Hippel
AU  - Cole Vick
AU  - Stavros Tripakis
AU  - Cristina Nita-Rotaru
PY  - 2022
UR  - https://arxiv.org/abs/2004.01220
ID  - 2004.01220
ER  -