Publications 2022

Tobias Klenze, Christoph Sprenger, and David Basin
IsaNet: A Framework for Verifying Secure Data Plane Protocols
Journal of Computer Security, 2022.
[BIB | DownloadPDF (PDF, 510 KB) | external pageDOI]

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols
IEEE Security and Privacy Magazine, special issue on Formal Methods at Scale, 2022, Vol 20(3), Pages 24-32
[external pageBIB | external pagePDF | external pageDOI]

Dusan Klinec, Marek Sys, Karel Kubicek, Petr Svenda, Vashek Matyas
Large-scale Randomness Study of Security Margins for 100+ Cryptographic Functions
SECRYPT 2022-19th International Conference on Security and Cryptography
[external pageBIB | external pagePDF | external pageDOI]

Karel Kubicek, Dino Bollinger, Adrian Zanga, Carlos Cotrini, and David Basin
Poster: CookieBlock & CookieAudit: Fixing Cookie Consent with ML
USENIX SOUPS 2022
[external pageBIB | external pagePDF | external pageWEB]

Esteban Rivera, Lizzy Tengana, Jesús Solano, Christian Lopez, Johana Florez, Martín Ochoa
Scalable and Secure HTML5 Canvas-Based User Authentication
Security in Machine Learning and its Applications (SiMLA 2022)
[external pageBIB | external pagePDF | external pageDOI]

Jesús Solano, Esteban Rivera, Lizzy Tengana, Christian Lopez, Johana Florez, Martín Ochoa
A Siamese Neural Network for Scalable Behavioral Biometrics Authentication
Security in Machine Learning and its Applications (SiMLA 2022)
[external pageBIB | external pagePDF | external pageDOI]

Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, David Basin
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
OOPSLA 2022
[external pageBIB | external pagePDF | external pageDOI]

Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
IEEE/ACM ASE 2022
[external pageBIB | external pagePDF | DOI]

Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David Basin
I'm Surprised So Much is Connected: A Study on Users' Online Account Security Connections
CHI '22: CHI Conference on Human Factors in Computing Systems
[external pageBIB | external pagePDF | external pageDOI]

Jakub Breier, Xiaolu Hou, Martín Ochoa, Jesús Solano
FooBaR: Fault Fooling Backdoor Attack on Neural Network Training
IEEE Transactions on Dependable and Secure Computing (TDSC)
[external pageBIB | external pagePDF | external pageDOI]

Sheila Zingg, Srđan Krstić, Martin Raszyk, Joshua Schneider, and Dmitriy Traytel
Verified First-Order Monitoring with Recursive Rules
TACAS 2022
[external pageBIB | external pagePDF | external pageDOI]

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, and Adrian Perrig.
The Complete Guide to SCION: From Design Principles to Formal Verification.
Springer-Verlag, 2022.
[external pageBIB | external pagePDF | external pageDOI]

Alejandra Castelblanco, Esteban Rivera, Jesús Solano, Lizzy Tengana, Christian López, Martín Ochoa
Dynamic Face Authentication Systems: Deep Learning Verification for Camera Close-Up and Head Rotation Paradigms
Computers & Security
[external pageBIB | external pagePDF | external pageDOI]

Thilo Weghorn*, Si Liu*, Christoph Sprenger, Adrian Perrig, David Basin (co-first authors)
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
IEEE CSF 2022
[external pageBIB | external pagePDF | external pageDOI]

Si Liu
All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
ACM Transactions on Software Engineering and Methodology (TOSEM)
[external pageBIB | external pagePDF | external pageDOI]

Dino Bollinger, Karel Kubicek, Carlos Cotrini, David Basin
Automating Cookie Consent and GDPR Violation Detection
USENIX Security 2022
[DownloadBIB | external pagePDF | external pageDOI | external pageWEB]

Karel Kubicek, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David Basin
Checking Websites’ GDPR Consent Compliance for Marketing Emails
PETS 2022
[external pageBIB | external pagePDF | external pageDOI | external pageWEB]

Joshua Schneider
Randomized First-Order Monitoring with Hashing
RV 2022
[external pageBIB | DownloadPDF (extended report) (PDF, 422 KB) | external pageDOI]

Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors
Logical Methods in Computer Science (LMCS), 2022, Vol 18(1), pp. 23:1–23:28
[external pageBIB | external pagePDF | external pageDOI]

François Hublet, David Basin, Srđan Krstić
Real-Time Policy Enforcement with Metric First-Order Temporal Logic
ESORICS 2022
[external pageBIB | external pagePDF | external pageDOI]

Martin Raszyk, David Basin, Srđan Krstić, Dmitriy Traytel
Practical Relational Calculus Query Evaluation
25th International Conference on Database Theory (ICDT), 2022
[BIB | external pagePDF | external pageDOI]

Farzane Karami, David Basin, Einar Broch Johnsen
A Language for GDPR Enforcement.
to appear in: 35th IEEE Computer Security Foundations Symposium, 2022
[external pageBIB | external pagePDF | external pageDOI]

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David Basin
IFCIL: An Information Flow Configuration Language for SELinux
35th IEEE Computer Security Foundations Symposium, 2022
[BIB | PDF | external pageDOI]