David A. Basin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
137
Venues
43
Active years
1988–2025
Best venue rank
A*
Where they publish
- A*CCS23 papers
- BRV13 papers
- A*CAV12 papers
- AESORICS10 papers
- BATVA6 papers
- ACADE6 papers
- CSACMAT5 papers
- ATACAS4 papers
- BFM4 papers
- A*SP4 papers
- CTIME3 papers
- BCSL3 papers
- BFMCAD3 papers
- A*WWW2 papers
- AACSAC2 papers
- AFC2 papers
- AISSTA2 papers
- BIFM2 papers
- A*ICSE2 papers
- BACNS2 papers
- A*AAAI2 papers
- AECAI2 papers
- BICLP2 papers
- CLOPSTR2 papers
- AAsiaCCS1 paper
- NationalNSDI1 paper
- A*SIGCOMM1 paper
- A*CHI1 paper
- AICDT1 paper
- CICTAC1 paper
- A*ICALP1 paper
- NationalHOTNETS1 paper
- ADSN1 paper
- BOPODIS1 paper
- A*ICML1 paper
- BICNP1 paper
- AMODELS1 paper
- CWISTP1 paper
- BLPAR1 paper
- NationalKI1 paper
- A*KR1 paper
- A*LICS1 paper
- A*IJCAI1 paper
Papers
137 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Scaling Up Proactive Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2025 | CCS | Mechanizing Privacy by Design. | David A. Basin, Franois Hublet, Srdan Krstic, Hong Nguyen |
| 2025 | CCS | Looping for Good: Cyclic Proofs for Security Protocols. | Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin |
| 2025 | CCS | Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. | Joo C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Mller, Adrian Perrig |
| 2025 | WWW | Quantitative Runtime Monitoring of Ethereum Transaction Attacks. | Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David A. Basin, Jun Sun, Jingyi Wang |
| 2025 | RV | Instrumenting Runtime Enforcement. | Franois Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese |
| 2025 | TACAS | Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. | Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin |
| 2024 | CAV | Proactive Real-Time First-Order Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2024 | FM | Getting Chip Card Payments Right. | David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo |
| 2024 | WWW | Automating Website Registration for Studying GDPR Compliance. | Karel Kubicek, Jakob Merane, Ahmed Bouhoula, David A. Basin |
| 2023 | ACSAC | SealClub: Computer-aided Paper Document Authentication. | Martn Ochoa, Hernn Vanegas, Jorge Toro-Pozo, David A. Basin |
| 2023 | AsiaCCS | Formal Methods for Payment Protocols. | David A. Basin |
| 2023 | ATVA | Correct and Efficient Policy Monitoring, a Retrospective. | David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel |
| 2023 | CCS | Is Modeling Access Control Worth It? | David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martn Ochoa |
| 2023 | CCS | ADEM: An Authentic Digital EMblem. | Felix Linker, David A. Basin |
| 2023 | ESORICS | Enforcing the GDPR. | Franois Hublet, David A. Basin, Srdan Krstic |
| 2023 | FM | Monitoring the Internet Computer. | David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan |
| 2023 | NSDI | RHINE: Robust and High-performance Internet Naming with E2E Authenticity. | Huayi Duan, Rubn Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig |
| 2023 | SIGCOMM | A Formal Framework for End-to-End DNS Resolution. | Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig |
| 2023 | SP | Sound Verification of Security Protocols: From Design to Interoperable Implementations. | Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Mller |
| 2022 | CHI | "I'm Surprised So Much Is Connected". | Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin |
| 2022 | ESORICS | Real-Time Policy Enforcement with Metric First-Order Temporal Logic. | Franois Hublet, David A. Basin, Srdan Krstic |
| 2022 | ICDT | Practical Relational Calculus Query Evaluation. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2021 | CCS | Verifying Table-Based Elections. | David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic |
| 2021 | SP | The EMV Standard: Break, Fix, Verify. | David A. Basin, Ralf Sasse, Jorge Toro-Pozo |
| 2020 | ATVA | Multi-head Monitoring of Metric Dynamic Logic. | Martin Raszyk, David A. Basin, Dmitriy Traytel |
| 2020 | CADE | A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. | David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2020 | CCS | Privacy-Preserving OpenID Connect. | Sven Hammann, Ralf Sasse, David A. Basin |
| 2020 | RV | Scalable Online Monitoring of Distributed Systems. | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider |
| 2019 | ATVA | Adaptive Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2019 | ATVA | Multi-head Monitoring of Metric Temporal Logic. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2019 | CCS | The Next 700 Policy Miners: A Universal Method for Building Policy Miners. | Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin |
| 2019 | CCS | User Account Access Graphs. | Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin |
| 2019 | ESORICS | Monitoring the GDPR. | Emma Arfelt, David A. Basin, Sren Debois |
| 2019 | ICALP | From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. | Martin Raszyk, David A. Basin, Dmitriy Traytel |
| 2019 | RV | A Formally Verified Monitor for Metric First-Order Temporal Logic. | Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2018 | ATVA | Optimal Proofs for Linear Temporal Logic on Lasso Words. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2018 | CCS | A Formal Analysis of 5G Authentication. | David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler |
| 2018 | FC | On Purpose and by Necessity: Compliance Under the GDPR. | David A. Basin, Sren Debois, Thomas T. Hildebrandt |
| 2018 | HOTNETS | Networking in Heaven as on Earth. | Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin |
| 2018 | RV | Scalable Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2018 | TACAS | From Natural Projection to Partial Model Checking and Back. | Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta |
| 2017 | ATVA | Tests and Refutation. | Mohammad Torabi Dashti, David A. Basin |
| 2017 | CAV | Runtime Verification of Temporal Properties over Out-of-Order Data Streams. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2017 | CAV | Cutoff Bounds for Consensus Algorithms. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2017 | ISSTA | Test execution checkpointing for web applications. | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2017 | RV | Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. | David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2017 | RV | AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. | David A. Basin, Srdjan Krstic, Dmitriy Traytel |
| 2017 | RV | The MonPoly Monitoring Tool. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2017 | TACAS | Almost Event-Rate Independent Monitoring of Metric Temporal Logic. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2015 | CCS | Automated Symbolic Proofs of Observational Equivalence. | David A. Basin, Jannik Dreier, Ralf Sasse |
| 2015 | DSN | Consensus Refined. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2015 | TIME | Semantic Vacuity. | Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin |
| 2014 | CCS | ARPKI: Attack Resilient Public-Key Infrastructure. | David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski |
| 2014 | CCS | Fail-Secure Access Control. | Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin |
| 2014 | CSL | Anchored LTL separation. | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
| 2014 | IFM | Code Generation for Event-B. | Andreas Frst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
| 2014 | SP | Automated Verification of Group Key Agreement Protocols. | Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin |
| 2014 | RV | Scalable Offline Monitoring. | David A. Basin, Germano Caronni, Sarah Ereth, Mats Harvan, Felix Klaedtke, Heiko Mantel |
| 2014 | RV | On Real-Time Monitoring with Imprecise Timestamps. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2013 | CAV | The TAMARIN Prover for the Symbolic Analysis of Security Protocols. | Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin |
| 2013 | CCS | Secure data deletion from persistent media. | Joel Reardon, Hubert Ritzdorf, David A. Basin, Srdjan Capkun |
| 2013 | ESORICS | Symbolic Probabilistic Analysis of Off-Line Guessing. | Bruno Conchinha, David A. Basin, Carlos Caleiro |
| 2013 | ISSTA | Semi-valid input coverage for fuzz testing. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2013 | SP | SoK: Secure Data Deletion. | Joel Reardon, David A. Basin, Srdjan Capkun |
| 2013 | RV | Monitoring of Temporal First-Order Properties with Aggregations. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | CCS | User-level secure deletion on log-structured file systems. | Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin |
| 2012 | ICSE | SECFUZZ: Fuzz-testing security protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2012 | RV | Monitoring Compliance Policies over Incomplete and Disagreeing Logs. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | SACMAT | Optimal workflow-aware authorizations. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2011 | CCS | Separation of duties as a service. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2011 | OPODIS | Constructing Mid-Points for Two-Party Asynchronous Protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2011 | RV | MONPOLY: Monitoring Usage-Control Policies. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | RV | Algorithms for Monitoring Real-Time Properties. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2011 | SACMAT | A decade of model-driven security. | David A. Basin, Manuel Clavel, Marina Egea |
| 2011 | TIME | Monitoring Usage-Control Policies in Distributed Systems. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2010 | ACSAC | Keeping data secret under full compromise using porter devices. | Christina Ppper, David A. Basin, Srdjan Capkun, Cas Cremers |
| 2010 | CAV | Policy Monitoring in First-Order Temporal Logic. | David A. Basin, Felix Klaedtke, Samuel Mller |
| 2010 | CCS | Developing security protocols by refinement. | Christoph Sprenger, David A. Basin |
| 2010 | CSL | Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2010 | ESORICS | Modeling and Analyzing Security in the Presence of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2010 | FC | How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. | Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin |
| 2010 | ICSE | SSG: a model-based development environment for smart, security-aware GUIs. | Miguel Angel Garca de Dios, Carolina Dania, Michael Schlpfer, David A. Basin, Manuel Clavel, Marina Egea |
| 2010 | SACMAT | Monitoring security policies with metric first-order temporal logic. | David A. Basin, Felix Klaedtke, Samuel Mller |
| 2010 | SACMAT | On the definition of role mining. | Mario Frank, Joachim M. Buhmann, David A. Basin |
| 2009 | CCS | A probabilistic approach to hybrid role mining. | Mario Frank, Andreas P. Streich, David A. Basin, Joachim M. Buhmann |
| 2009 | ESORICS | Dynamic Enforcement of Abstract Separation of Duty Constraints. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2009 | ICML | Multi-assignment clustering for Boolean data. | Andreas P. Streich, Mario Frank, David A. Basin, Joachim M. Buhmann |
| 2009 | IFM | Developing Topology Discovery in Event-B. | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
| 2008 | CCS | A class of probabilistic models for role engineering. | Mario Frank, David A. Basin, Joachim M. Buhmann |
| 2008 | CCS | Mechanisms for usage control. | Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter |
| 2008 | ICNP | Topology dynamics and routing for predictable mobile networks. | Daniel Fischer, David A. Basin, Thomas Engel |
| 2008 | TIME | A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Vigan |
| 2007 | ACNS | Midpoints Versus Endpoints: From Protocols to Firewalls. | Diana von Bidder, David A. Basin, Germano Caronni |
| 2007 | ACNS | BAP: Broadcast Authentication Using Cryptographic Puzzles. | Patrick Schaller, Srdjan Capkun, David A. Basin |
| 2007 | CCS | Specifying and analyzing security automata using CSP-OZ. | David A. Basin, Ernst-Rdiger Olderog, Paul E. Sevin |
| 2007 | CCS | An information-theoretic model for adaptive side-channel attacks. | Boris Kpf, David A. Basin |
| 2007 | ESORICS | A Policy Language for Distributed Usage Control. | Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter |
| 2007 | MODELS | A Metamodel-Based Approach for Analyzing Security-Design Models. | David A. Basin, Manuel Clavel, Jrgen Doser, Marina Egea |
| 2007 | WISTP | Securing the Distribution and Storage of Secrets with Trusted Platform Modules. | Paul E. Sevin, Mario Strasser, David A. Basin |
| 2006 | ESORICS | Timing-Sensitive Information Flow Analysis for Synchronous Systems. | Boris Kpf, David A. Basin |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | ESORICS | On Obligations. | Manuel Hilty, David A. Basin, Alexander Pretschner |
| 2005 | FM | Verification of a Signature Architecture with HOL-Z. | David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff |
| 2005 | LPAR | Algebraic Intruder Deductions. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2003 | CCS | CDiff: a new reduction technique for constraint-based analysis of security protocols. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2003 | ESORICS | An On-the-Fly Model-Checker for Security Protocol Analysis. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2003 | SACMAT | Model driven security for process-oriented systems. | David A. Basin, Jrgen Doser, Torsten Lodderstedt |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2002 | FM | The Next 700 Synthesis Calculi. | David A. Basin |
| 2002 | FMCAD | QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. | Abdelwaheb Ayari, David A. Basin |
| 2000 | AAAI | Combining Knowledge and Search to Solve Single-Suit Bridge. | Ian Frank, David A. Basin, Alan Bundy |
| 2000 | CAV | Bounded Model Construction for Monadic Second-Order Logics. | Abdelwaheb Ayari, David A. Basin |
| 2000 | CAV | Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. | Abdelwaheb Ayari, David A. Basin, Felix Klaedtke |
| 2000 | FMCAD | B2M: A Semantic Based Tool for BLIF Hardware Descriptions. | David A. Basin, Stefan Friedrich, Sebastian Mdersheim |
| 1999 | CAV | Java Bytecode Verification by Model Checking. | David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt |
| 1998 | AAAI | Finding Optimal Strategies for Imperfect Information Games. | Ian Frank, David A. Basin, Hitoshi Matsubara |
| 1997 | CSL | LISA: A Specification Language Based on WS2S. | Abdelwaheb Ayari, David A. Basin, Andreas Podelski |
| 1997 | KI | Labelled Quantified Modal Logics. | David A. Basin, Sen Matthews, Luca Vigan |
| 1996 | CADE | Structuring Metatheory on Inductive Definitions. | David A. Basin, Sen Matthews |
| 1996 | FMCAD | Experiments in Automating Hardware Verification Using Inductive Proof Planning. | Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |
| 1996 | KR | Implementing Modal and Relevance Logics in a Logical Framework. | David A. Basin, Sen Matthews, Luca Vigan |
| 1996 | LICS | Complexity Analysis Based on Ordered Resolution. | David A. Basin, Harald Ganzinger |
| 1996 | TACAS | Generic System Support for Deductive Program Development. | Abdelwaheb Ayari, David A. Basin |
| 1995 | CAV | Hardware Verification using Monadic Second-Order Logic. | David A. Basin, Nils Klarlund |
| 1994 | CADE | Termination Orderings for Rippling. | David A. Basin, Toby Walsh |
| 1994 | ECAI | Coloured Rippling: An Extension of a Theorem Proving Heuristic. | Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin |
| 1994 | ICLP | IsaWhelk Interpreted in Isabelle. | David A. Basin |
| 1994 | LOPSTR | Logic Frameworks for Logic Programs. | David A. Basin |
| 1993 | ICLP | Middle-Out Reasoning for Logic Program Synthesis. | Ina Kraan, David A. Basin, Alan Bundy |
| 1993 | IJCAI | Difference Unification. | David A. Basin, Toby Walsh |
| 1992 | CADE | Difference Matching. | David A. Basin, Toby Walsh |
| 1992 | ECAI | An Adaptation of Proof-Planning to Declarer Play in Bridge. | Ian Frank, David A. Basin, Alan Bundy |
| 1992 | LOPSTR | Logic Program Synthesis via Proof Planning. | Ina Kraan, David A. Basin, Alan Bundy |
| 1990 | CADE | Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. | David A. Basin |
| 1988 | CADE | An Environment For Automated Reasoning About Partial Functions. | David A. Basin |