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. [Publisher].
• Evolution of Password Expiry in Companies: Measuring the Adoption of Recommendations by the German Federal Office for Information Security. Eva Gerlitz, Maximilian Häring, Matthew Smith, Christian Tiefenau. Nineteenth Symposium on Usable Privacy and Security (SOUPS 2023)
• Adventures in Recovery Land: Testing the Account Recovery of Popular Websites When the Second Factor is Lost. Eva Gerlitz and Maximilian Häring and Charlotte Theresa Mädler and Matthew Smith and Christian Tiefenau. Nineteenth Symposium on Usable Privacy and Security (SOUPS 2023)
• Attitudes towards Client-Side Scanning for CSAM, Terrorism, Drug Trafficking, Drug Use and Tax Evasion in Germany. Lisa Geierhaas, Fabian Otto, Maximilian Häring and Matthew Smith, 2023 IEEE Symposium on Security and Privacy (SP) doi: 10.1109/SP46215.2023.10179417.
• A Generic Methodology for the Modular Verification of Security Protocol Implementations. L. Arquint, M. Schwerhoff, V. Mehta, and P. Müller. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS), 2023, [PDF] [Publisher].
• Trusted Introductions for Secure Messaging. Christelle Gloor, and Adrian Perrig. In Proceedings of International Workshop on Security Protocols 2023.
• FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. Cyrill Krähenbühl, Marc Wyss, David Basin, Vincent Lenders, Adrian Perrig, and Martin Strohmeier. In Proceedings of the USENIX Security Symposium, 2023
• ADEM: An Authentic Digital EMblem. F. Linker, D. Basin. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS), 2023.
• CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. M. Eilers, T. Dardinier, and P. Müller. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Proc. ACM Program. Lang., pages 1682-1707, 2023.
• Sound Verification of Security Protocols: From Design to Interoperable Implementations. L. Arquint, F. A. Wolf, J. Lallemand, R. Sasse, C. Sprenger, S. N. Wiesner, D. Basin, and P. Müller. In 2023 IEEE Symposium on Security and Privacy (SP), [PDF] [Publisher].