David A. Basin

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 125

Top Venues

CoRR

CSF

USENIX Security Symposium

CCS

Publications

Felix Linker, David A. Basin
SOAP: A Social Authentication Protocol. USENIX Security Symposium (2024)
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR (2024)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32 (3) (2024)
Karel Kubicek, Jakob Merane, Ahmed Bouhoula, David A. Basin
Automating Website Registration for Studying GDPR Compliance. WWW (2024)
Felix Linker, David A. Basin
SOAP: A Social Authentication Protocol. CoRR (2024)
Srdan Krstic, Hoang Nguyen, David A. Basin
Model-driven Privacy. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
Proactive Real-Time First-Order Enforcement. CAV (2) (2024)
Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick Schaller, David A. Basin, Srdjan Capkun
PURE: Payments with UWB RElay-protection. USENIX Security Symposium (2024)
Ahmed Bouhoula, Karel Kubicek, Amit Zac, Carlos Cotrini, David A. Basin
Automated Large-Scale Analysis of Cookie Notice Compliance. USENIX Security Symposium (2024)
Huayi Duan, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig, Si Liu, Bernhard Tellenbach
CAMP: Compositional Amplification Attacks against DNS. USENIX Security Symposium (2024)
François Hublet, David A. Basin, Srdan Krstic
User-Controlled Privacy: Taint, Track, and Control. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data 2 (1) (2024)
Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders, Adrian Perrig, Martin Strohmeier
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. CoRR (2023)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16 (6) (2023)
François Hublet, David A. Basin, Srdan Krstic
Enforcing the GDPR. ESORICS (2) (2023)
Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders, Adrian Perrig, Martin Strohmeier
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. USENIX Security Symposium (2023)
David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen, Martín Ochoa
Is Modeling Access Control Worth It? CCS (2023)
David A. Basin
Formal Methods for Payment Protocols. AsiaCCS (2023)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. Log. Methods Comput. Sci. 19 (4) (2023)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP (2023)
Tobias Klenze, Christoph Sprenger, David A. Basin
IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31 (3) (2023)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR (2023)
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
David A. Basin, Patrick Schaller, Jorge Toro-Pozo
Inducing Authentication Failures to Bypass Credit Card PINs. USENIX Security Symposium (2023)
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) (2023)
Virgil D. Gligor, Adrian Perrig, David A. Basin
Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols Workshop (2023)
Florian Turati, Carlos Cotrini, Karel Kubícek, David A. Basin
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. CoRR (2023)
Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig
A Formal Framework for End-to-End DNS Resolution. SIGCOMM (2023)
Florian Turati, Karel Kubícek, Carlos Cotrini, David A. Basin
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. Proc. Priv. Enhancing Technol. 2023 (4) (2023)
Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig
RHINE: Robust and High-performance Internet Naming with E2E Authenticity. NSDI (2023)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux. CSF (2022)
Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
"I'm Surprised So Much Is Connected". CHI (2022)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20 (3) (2022)
Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF (2022)
Dino Bollinger, Karel Kubícek, Carlos Cotrini, David A. Basin
Automating Cookie Consent and GDPR Violation Detection. USENIX Security Symposium (2022)
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR (2022)
Martín Ochoa, Jorge Toro-Pozo, David A. Basin
SealClub: Computer-aided Paper Document Authentication. CoRR (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Practical Relational Calculus Query Evaluation. ICDT (2022)
Karel Kubícek, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin
Checking Websites' GDPR Consent Compliance for Marketing Emails. Proc. Priv. Enhancing Technol. 2022 (2) (2022)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR (2022)
François Hublet, David A. Basin, Srdan Krstic
Real-Time Policy Enforcement with Metric First-Order Temporal Logic. ESORICS (2) (2022)
Farzane Karami, David A. Basin, Einar Broch Johnsen
DPL: A Language for GDPR Enforcement. CSF (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR (2022)
David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. CSF (2021)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. USENIX Security Symposium (2021)
Lucca Hirschi, Lara Schmid, David A. Basin
Fixing the Achilles Heel of E-Voting: The Bulletin Board. CSF (2021)
Aleksi Peltonen, Ralf Sasse, David A. Basin
A comprehensive formal analysis of 5G handover. WISEC (2021)
Tobias Klenze, Christoph Sprenger, David A. Basin
Formal Verification of Secure Forwarding Protocols. CSF (2021)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
The EMV Standard: Break, Fix, Verify. IEEE Symposium on Security and Privacy (2021)
David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
Verifying Table-Based Elections. CCS (2021)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) (2020)
Lucca Hirschi, Lara Schmid, David A. Basin
Fixing the Achilles Heel of E-Voting: The Bulletin Board. IACR Cryptol. ePrint Arch. 2020 (2020)
Mohammad Torabi Dashti, David A. Basin
A Theory of Black-Box Tests. CoRR (2020)
Giacomo Giuliari, Tobias Klenze, Markus Legner, David A. Basin, Adrian Perrig, Ankit Singla
Internet backbones in space. Comput. Commun. Rev. 50 (1) (2020)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
The EMV Standard: Break, Fix, Verify. CoRR (2020)
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
Natural Projection as Partial Model Checking. J. Autom. Reason. 64 (7) (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. CoRR (2020)
David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
CryptHOL: Game-Based Proofs in Higher-Order Logic. J. Cryptol. 33 (2) (2020)
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P (2020)
Sven Hammann, Ralf Sasse, David A. Basin
Privacy-Preserving OpenID Connect. AsiaCCS (2020)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. 21 (1) (2020)
David A. Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting. CoRR (2020)
Martin Raszyk, David A. Basin, Dmitriy Traytel
Multi-head Monitoring of Metric Dynamic Logic. ATVA (2020)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)
David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
Scalable Online Monitoring of Distributed Systems. RV (2020)
David A. Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting. CSF (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43 (2) (2020)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR (2020)
Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin
The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CCS (2019)
Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin
The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CoRR (2019)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Multi-head Monitoring of Metric Temporal Logic. ATVA (2019)
Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
User Account Access Graphs. CCS (2019)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. CoRR (2019)
David A. Basin, Lucca Hirschi, Ralf Sasse
Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel
Almost event-rate independent monitoring. Formal Methods Syst. Des. 54 (3) (2019)
Martin Raszyk, David A. Basin, Dmitriy Traytel
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. ICALP (2019)
Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
Information-Flow Control for Database-Backed Applications. EuroS&P (2019)
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR (2019)
Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
A Formally Verified Monitor for Metric First-Order Temporal Logic. RV (2019)
Emma Arfelt, David A. Basin, Søren Debois
Monitoring the GDPR. ESORICS (1) (2019)
Damien Desfontaines, Andreas Lochbihler, David A. Basin
Cardinality Estimators do not Preserve Privacy. Proc. Priv. Enhancing Technol. 2019 (2) (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Adaptive Online First-Order Monitoring. ATVA (2019)
Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
Formalizing Constructive Cryptography using CryptHOL. CSF (2019)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
Formal Analysis of 5G Authentication. CoRR (2018)
David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
Optimal Proofs for Linear Temporal Logic on Lasso Words. ATVA (2018)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable Online First-Order Monitoring. RV (2018)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography (2018)
David A. Basin, Sasa Radomirovic, Lara Schmid
Alethea: A Provably Secure Random Sample Voting Protocol. CSF (2018)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
From Natural Projection to Partial Model Checking and Back. TACAS (1) (2018)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
A Formal Analysis of 5G Authentication. CCS (2018)
Christoph Sprenger, David A. Basin
Refining security protocols. J. Comput. Secur. 26 (1) (2018)
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Algorithms for monitoring real-time properties. Acta Informatica 55 (4) (2018)
Carlos Cotrini, Thilo Weghorn, David A. Basin
Mining ABAC Rules from Sparse Logs. EuroS&P (2018)
Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin
Networking in Heaven as on Earth. HotNets (2018)

David A. Basin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David A. Basin