Publications 2024

Azucena Garvia Bosshard, Jonathan Bootle, and Christoph Sprenger
Formal Verification of the Sumcheck Protocol
CSF 2024
[PDF | external page DOI]

Felix Linker, David Basin
SOAP: A Social Authentication Protocol
USENIX Security 2024
[external page PDF | external page USENIX]

Huayi Duan, Marco Bearzi, Jodok Vieli, David Basin, Adrian Perrig, Si Liu, and Bernhard Tellenbach
CAMP: Compositional Amplification Attacks against DNS
33rd USENIX Security Symposium (USENIX Security 2024)
[external page PDF | external page WEB]

Ahmed Bouhoula, Karel Kubicek, Amit Zac, Carlos Cotrini, and David Basin
Automated Large-Scale Analysis of Cookie Notice Compliance
33rd USENIX Security Symposium (USENIX Security 2024)
[external page PDF | external page WEB]

Lorin Schöni, Karel Kubicek, Verena Zimmermann
Block Cookies, Not Websites: Analysing Mental Models and Usability of the Privacy-Preserving Browser Extension CookieBlock
Privacy Enhancing Technologies Symposium (PETS 2024)
[external page PDF | external page DOI | external page WEB]

David Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo
Getting Chip Card Payments Right
26th International Symposium on Formal Methods (FM 2024)
[Preprint version]