1 minute
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
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
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