Publications

1 minute

2025 #

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

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