@inproceedings{ACM25,
  author       = {Felix Linker and
                  Christoph Sprenger and
                  Cas Cremers and
                  David A. Basin},
  editor       = {Chun{-}Ying Huang and
                  Jyh{-}Cheng Chen and
                  Shiuh{-}Pyng Shieh and
                  David Lie and
                  V{\'{e}}ronique Cortier},
  title        = {Looping for Good: Cyclic Proofs for Security Protocols},
  booktitle    = {Proceedings of the 2025 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2025, Taipei, Taiwan, October 13-17,
                  2025},
  pages        = {2759--2773},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3719027.3765131},
  doi          = {10.1145/3719027.3765131},
  biburl       = {https://dblp.org/rec/conf/ccs/Linker0CB25.bib},
}