@misc{indiciaec21588866e56,
  title = {A Case Study in Analytic Protocol Analysis in ACL2},
  author = {Max von Hippel and Panagiotis Manolios and Kenneth L. McMillan and Cristina Nita-Rotaru and Lenore Zuck},
  year = {2023},
  doi = {10.4204/eptcs.393.6},
  url = {https://arxiv.org/abs/2311.08855},
  note = {Source identifier: 2311.08855}
}