@misc{paper-attack-synthesis-fsm,
  title = {{Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents}},
  author = {{Maria Leonor Pacheco} and {Max von Hippel} and {Ben Weintraub} and {Dan Goldwasser} and {Cristina Nita-Rotaru}},
  year = {2022},
  url = {https://arxiv.org/abs/2202.09470},
  howpublished = {arXiv:2202.09470},
  note = {Accepted to IEEE Symposium on Security and Privacy 2022},
  eprint = {2202.09470},
  archivePrefix = {arXiv},
  month = feb
}