Felix Linker, Christoph Sprenger 0001, Cas Cremers, David A. Basin. Looping for Good: Cyclic Proofs for Security Protocols. In Chun-Ying Huang, Jyh-Cheng Chen, Shiuh-Pyng Shieh, David Lie, Véronique Cortier, editors, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, CCS 2025, Taipei, Taiwan, October 13-17, 2025. pages 2759-2773, ACM, 2025. [doi]
Abstract is missing.