Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin: Looping for Good: Cyclic Proofs for Security Protocols. Zenodo 2025