Publications

1 minute

2025 #

  • Felix Linker, Christoph Sprenger, Cas Cremers, and David Basin. “Looping for Good: Cyclic Proofs for Security Protocols.” In 32nd ACM Conference on Computer and Communications Security (CCS). 2025. [Full Version | Publisher Version]

    Received Distinguished Paper Award at CCS 2025

  • Felix Linker, Ralf Sasse, and David Basin. “A Formal Analysis of Apple’s iMessage PQ3 Protocol.” In 34th USENIX Security Symposium. 2024. [Publisher].

  • Marc Wyss, Marc Frei, Jonghoon Kwon, and Adrian Perrig. “Low-cost and Robust Global Time Synchronization..” In Proceedings of the IEEE Symposium on Security and Privacy 2025. [Full Version]

  • Marc Frei, Jonghoon Kwon, Marc Wyss, and Adrian Perrig. “Clockwire – Multi-path Time Synchronization Made Practical.” In Proceedings of the IEEE Symposium on Security and Privacy (Poster Session) 2025. [Full Version]

  • Cyrill Krähenbühl, Nico Hauser, Christelle Gloor, Juan A. Garcia-Pardo, and Adrian Perrig. “GECKO: Securing Digital Assets Through(out) the Physical World.” International Conference on Computing, Networking and Communications (ICNC), 2026.

  • Karl Wüst, Giacomo Giuliari, Markus Legner, Jean-Pierre Smith, Marc Wyss, Jules Bachmann, Juan A. Garcia-Pardo, and Adrian Perrig. “Hummingbird: Fast, Flexible, and Fair Inter-Domain Bandwidth Reservations.” ACM SIGCOMM, 2025.

January 1970

Publications 2024

Linker, Felix, and David Basin. “SOAP: A Social Authentication Protocol.” In 33rd USENIX Security Symposium. Philadelphia, PA, USA: USENIX Association, 2024. [Publisher].

1 minute

Publications 2023

SealClub: Computer-aided Paper Document Authentication. Martín Ochoa, Hernán Vanegas, Jorge Toro-Pozo, and David Basin. In the Proceedings of the 2023 Annual Computer Security Applications Conference (ACSAC 2023). Less About Privacy: Revisiting a Survey about the German COVID-19 Contact Tracing App. Maximilian Häring, Eva Gerlitz, Matthew Smith, and Christian Tiefenau. In Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI ‘23). Association for Computing Machinery, New York, NY, USA, Article 584, 1–16.

2 minutes

Publications 2022

F-PKI: Enabling Innovation and Trust Flexibility in the HTTPS Public-Key Infrastructure. L. Chuat, C. Krähenbühl, P. Mittal, and A. Perrig. In Proceedings of the Symposium on Network and Distributed Systems Security (NDSS), 2022, [Publisher].

1 minute

Publications 2021

Gobra: Modular Specification and Verification of Go Programs. F. A. Wolf, L. Arquint, M. Clochard, W. Oortwijn, J. C. Pereira, and P. Müller. In Computer Aided Verification (CAV), [PDF] [Publisher].

1 minute

Publications 2020