@misc{indiciae6653ed9af62a,
  title = {Automated Attacker Synthesis for Distributed Protocols},
  author = {Max von Hippel and Cole Vick and Stavros Tripakis and Cristina Nita-Rotaru},
  year = {2022},
  url = {https://arxiv.org/abs/2004.01220},
  note = {Source identifier: 2004.01220}
}