Publications 2024

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

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]