@misc{paper-protocol-format-state-machine,
  title = {{Extracting Protocol Format as State Machine via Controlled Static Loop Analysis}},
  author = {{Qingkai Shi} and {Xiangzhe Xu} and {Xiangyu Zhang}},
  year = {2023},
  url = {https://arxiv.org/abs/2305.13483},
  howpublished = {arXiv:2305.13483},
  note = {Preprint},
  eprint = {2305.13483},
  archivePrefix = {arXiv},
  month = may
}