David A. Basin

390 papers A* 52A 59B 33C 13Misc 3Journal 139Unranked 76

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version). CoRR Sofia Giampietro, Ralf Sasse, David A. Basin
2026	—	`book`	Modeling and Analyzing Security Protocols with Tamarin - A Comprehensive Guide David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2025	A*	`conf`	A Formal Analysis of Apple's iMessage PQ3 Protocol. USENIX Security Symposium Felix Linker, Ralf Sasse, David A. Basin
2025	A*	`conf`	AKMA+: Security and Privacy-Enhanced and Standard-Compatible AKMA for 5G Communication. USENIX Security Symposium Yang Yang, Guomin Yang, Yingjiu Li, Minming Huang, Zilin Shen, Imtiaz Karim, Ralf Sasse, David A. Basin, Elisa Bertino, Jian Weng, HweeHwa Pang, Robert H. Deng
2025	B	`conf`	Instrumenting Runtime Enforcement. RV François Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese
2025	J	`jnl`	It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Commun. ACM David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025	J	`jnl`	It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. CoRR David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025	A*	`conf`	Looping for Good: Cyclic Proofs for Security Protocols. CCS Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin
2025	A*	`conf`	Mechanizing Privacy by Design. CCS David A. Basin, François Hublet, Srdan Krstic, Hoàng Nguyen
2025	A*	`conf`	Oblivious Digital Tokens. USENIX Security Symposium Mihael Liskij, Xuhua Ding, Gene Tsudik, David A. Basin
2025	J	`jnl`	One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version). CoRR Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2025	A	`conf`	One For All: Formally Verifying Protocols which use Aggregate Signatures. CSF Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2025	A*	`conf`	Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. CCS 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
2025	—	`conf`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. TACAS (3) Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2025	A*	`conf`	Quantitative Runtime Monitoring of Ethereum Transaction Attacks. WWW Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David A. Basin, Jun Sun, Jingyi Wang
2025	J	`jnl`	Reachability Analysis of the Domain Name System. Proc. ACM Program. Lang. Dhruv Nevatia, Si Liu, David A. Basin
2025	—	`conf`	Scaling Up Proactive Enforcement. CAV (3) François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2025	J	`jnl`	SoK: Attacks on Modern Card Payments. CoRR Xenia Hofmeier, David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2025	J	`jnl`	Testing Graph Databases with Synthesized Queries. Proc. ACM Manag. Data Zijing Yin, Si Liu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. CoRR Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. Proc. VLDB Endow. Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2024	J	`jnl`	A Formal Analysis of Apple's iMessage PQ3 Protocol. IACR Cryptol. ePrint Arch. Felix Linker, Ralf Sasse, David A. Basin
2024	J	`jnl`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2024	A*	`conf`	Automated Large-Scale Analysis of Cookie Notice Compliance. USENIX Security Symposium Ahmed Bouhoula, Karel Kubicek, Amit Zac, Carlos Cotrini, David A. Basin
2024	A*	`conf`	Automating Website Registration for Studying GDPR Compliance. WWW Karel Kubicek, Jakob Merane, Ahmed Bouhoula, David A. Basin
2024	A*	`conf`	CAMP: Compositional Amplification Attacks against DNS. USENIX Security Symposium Huayi Duan, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig, Si Liu, Bernhard Tellenbach
2024	—	`conf`	Getting Chip Card Payments Right. FM (1) David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo
2024	J	`jnl`	IsoVista: Black-box Checking Database Isolation Guarantees. Proc. VLDB Endow. Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, David A. Basin
2024	J	`jnl`	Model-driven Privacy. Proc. Priv. Enhancing Technol. Srdan Krstic, Hoang Nguyen Phuoc Bao, David A. Basin
2024	J	`jnl`	NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
2024	A*	`conf`	PURE: Payments with UWB RElay-protection. USENIX Security Symposium Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick Schaller, David A. Basin, Srdjan Capkun
2024	J	`jnl`	Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels. Proc. ACM Program. Lang. Si Liu, Long Gu, Hengfeng Wei, David A. Basin
2024	—	`conf`	Proactive Real-Time First-Order Enforcement. CAV (2) François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024	J	`jnl`	Proactive enforcement of provisions and obligations. J. Comput. Secur. David A. Basin, Søren Debois, Thomas T. Hildebrandt
2024	J	`jnl`	Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR 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
2024	J	`jnl`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. CoRR Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2024	J	`jnl`	Reachability Analysis of the Domain Name System. CoRR Dhruv Nevatia, Si Liu, David A. Basin
2024	A*	`conf`	SOAP: A Social Authentication Protocol. USENIX Security Symposium Felix Linker, David A. Basin
2024	J	`jnl`	SOAP: A Social Authentication Protocol. CoRR Felix Linker, David A. Basin
2024	J	`jnl`	Specifying and Verifying Information Flow Control in SELinux Configurations. ACM Trans. Priv. Secur. Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2024	J	`jnl`	User-Controlled Privacy: Taint, Track, and Control. Proc. Priv. Enhancing Technol. François Hublet, David A. Basin, Srdan Krstic
2023	A*	`conf`	A Formal Framework for End-to-End DNS Resolution. SIGCOMM Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig
2023	A*	`conf`	ADEM: An Authentic Digital EMblem. CCS Felix Linker, David A. Basin
2023	—	`conf`	Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
2023	—	`conf`	Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols Workshop Virgil D. Gligor, Adrian Perrig, David A. Basin
2023	J	`jnl`	Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023	J	`jnl`	Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023	J	`jnl`	Efficient Evaluation of Arbitrary Relational Calculus Queries. Log. Methods Comput. Sci. Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2023	—	`conf`	Enforcing the GDPR. ESORICS (2) François Hublet, David A. Basin, Srdan Krstic
2023	A*	`conf`	FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. USENIX Security Symposium Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders, Adrian Perrig, Martin Strohmeier
2023	J	`jnl`	FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. CoRR Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders, Adrian Perrig, Martin Strohmeier
2023	A	`conf`	Formal Methods for Payment Protocols. AsiaCCS David A. Basin
2023	A*	`conf`	Inducing Authentication Failures to Bypass Credit Card PINs. USENIX Security Symposium David A. Basin, Patrick Schaller, Jorge Toro-Pozo
2023	A*	`conf`	Is Modeling Access Control Worth It? CCS David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martín Ochoa
2023	J	`jnl`	IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. Tobias Klenze, Christoph Sprenger, David A. Basin
2023	J	`jnl`	Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. CoRR Florian Turati, Carlos Cotrini, Karel Kubicek, David A. Basin
2023	J	`jnl`	Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. Proc. Priv. Enhancing Technol. Florian Turati, Karel Kubicek, Carlos Cotrini, David A. Basin
2023	B	`conf`	Monitoring the Internet Computer. FM David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
2023	Misc	`conf`	RHINE: Robust and High-performance Internet Naming with E2E Authenticity. NSDI Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig
2023	A	`conf`	SealClub: Computer-aided Paper Document Authentication. ACSAC Martín Ochoa, Hernán Vanegas, Jorge Toro-Pozo, David A. Basin
2023	A*	`conf`	Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	A*	`conf`	"I'm Surprised So Much Is Connected". CHI Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
2022	A*	`conf`	Automating Cookie Consent and GDPR Violation Detection. USENIX Security Symposium Dino Bollinger, Karel Kubicek, Carlos Cotrini, David A. Basin
2022	J	`jnl`	Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
2022	J	`jnl`	Checking Websites' GDPR Consent Compliance for Marketing Emails. Proc. Priv. Enhancing Technol. Karel Kubicek, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin
2022	A	`conf`	DPL: A Language for GDPR Enforcement. CSF Farzane Karami, David A. Basin, Einar Broch Johnsen
2022	J	`jnl`	Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2022	J	`jnl`	IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022	A	`conf`	IFCIL: An Information Flow Configuration Language for SELinux. CSF Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022	A	`conf`	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin
2022	A	`conf`	Practical Relational Calculus Query Evaluation. ICDT Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2022	—	`conf`	Real-Time Policy Enforcement with Metric First-Order Temporal Logic. ESORICS (2) François Hublet, David A. Basin, Srdan Krstic
2022	J	`jnl`	SealClub: Computer-aided Paper Document Authentication. CoRR Martín Ochoa, Jorge Toro-Pozo, David A. Basin
2022	J	`jnl`	Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	J	`jnl`	Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2022	—	`book`	The Complete Guide to SCION - From Design Principles to Formal Verification Laurent Chuat, Markus Legner, David A. Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig
2022	C	`conf`	VeriMon: A Formally Verified Monitoring Tool. ICTAC 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
2021	—	`conf`	A comprehensive formal analysis of 5G handover. WISEC Aleksi Peltonen, Ralf Sasse, David A. Basin
2021	A	`conf`	Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. CSF David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar
2021	A*	`conf`	Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. USENIX Security Symposium David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2021	A	`conf`	Fixing the Achilles Heel of E-Voting: The Bulletin Board. CSF Lucca Hirschi, Lara Schmid, David A. Basin
2021	A	`conf`	Formal Verification of Secure Forwarding Protocols. CSF Tobias Klenze, Christoph Sprenger, David A. Basin
2021	J	`jnl`	Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2021	A*	`conf`	The EMV Standard: Break, Fix, Verify. SP David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2021	A*	`conf`	Verifying Table-Based Elections. CCS David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
2020	—	`conf`	A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2020	A*	`conf`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2020	J	`jnl`	A Theory of Black-Box Tests. CoRR Mohammad Torabi Dashti, David A. Basin
2020	J	`jnl`	CryptHOL: Game-Based Proofs in Higher-Order Logic. J. Cryptol. David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. CoRR 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
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 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
2020	A	`conf`	Dispute Resolution in Voting. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2020	J	`jnl`	Dispute Resolution in Voting. CoRR David A. Basin, Sasa Radomirovic, Lara Schmid
2020	J	`jnl`	Fixing the Achilles Heel of E-Voting: The Bulletin Board. IACR Cryptol. ePrint Arch. Lucca Hirschi, Lara Schmid, David A. Basin
2020	J	`jnl`	Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	J	`jnl`	Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	J	`jnl`	Internet backbones in space. Comput. Commun. Rev. Giacomo Giuliari, Tobias Klenze, Markus Legner, David A. Basin, Adrian Perrig, Ankit Singla
2020	B	`conf`	Multi-head Monitoring of Metric Dynamic Logic. ATVA Martin Raszyk, David A. Basin, Dmitriy Traytel
2020	J	`jnl`	Natural Projection as Partial Model Checking. J. Autom. Reason. Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
2020	A	`conf`	Privacy-Preserving OpenID Connect. AsiaCCS Sven Hammann, Ralf Sasse, David A. Basin
2020	J	`jnl`	Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. David A. Basin, Felix Klaedtke, Eugen Zalinescu
2020	B	`conf`	Scalable Online Monitoring of Distributed Systems. RV David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
2020	A	`conf`	SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2020	J	`jnl`	The EMV Standard: Break, Fix, Verify. CoRR David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2019	B	`conf`	A Formally Verified Monitor for Metric First-Order Temporal Logic. RV Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
2019	B	`conf`	Adaptive Online First-Order Monitoring. ATVA Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2019	J	`jnl`	Almost event-rate independent monitoring. Formal Methods Syst. Des. David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel
2019	J	`jnl`	Cardinality Estimators do not Preserve Privacy. Proc. Priv. Enhancing Technol. Damien Desfontaines, Andreas Lochbihler, David A. Basin
2019	A	`conf`	Formalizing Constructive Cryptography using CryptHOL. CSF Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
2019	A*	`conf`	From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. ICALP Martin Raszyk, David A. Basin, Dmitriy Traytel
2019	A	`conf`	Information-Flow Control for Database-Backed Applications. EuroS&P Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
2019	—	`conf`	Monitoring the GDPR. ESORICS (1) Emma Arfelt, David A. Basin, Søren Debois
2019	B	`conf`	Multi-head Monitoring of Metric Temporal Logic. ATVA Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2019	J	`jnl`	Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2019	J	`jnl`	Runtime Verification over Out-of-order Streams. CoRR David A. Basin, Felix Klaedtke, Eugen Zalinescu
2019	—	`conf`	Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning David A. Basin, Lucca Hirschi, Ralf Sasse
2019	A*	`conf`	The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CCS Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin
2019	J	`jnl`	The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CoRR Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin
2019	A*	`conf`	User Account Access Graphs. CCS Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
2018	A*	`conf`	A Formal Analysis of 5G Authentication. CCS David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2018	A	`conf`	Alethea: A Provably Secure Random Sample Voting Protocol. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2018	J	`jnl`	Algorithms for monitoring real-time properties. Acta Informatica David A. Basin, Felix Klaedtke, Eugen Zalinescu
2018	J	`jnl`	Cardinality Estimators do not Preserve Privacy. CoRR Damien Desfontaines, Andreas Lochbihler, David A. Basin
2018	J	`jnl`	Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2018	J	`jnl`	Formal Analysis of 5G Authentication. CoRR David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2018	—	`conf`	From Natural Projection to Partial Model Checking and Back. TACAS (1) Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
2018	A	`conf`	Mining ABAC Rules from Sparse Logs. EuroS&P Carlos Cotrini, Thilo Weghorn, David A. Basin
2018	—	`ch.`	Model Checking Security Protocols. Handbook of Model Checking David A. Basin, Cas Cremers, Catherine Meadows
2018	Misc	`conf`	Networking in Heaven as on Earth. HotNets Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin
2018	—	`conf`	On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography David A. Basin, Søren Debois, Thomas T. Hildebrandt
2018	B	`conf`	Optimal Proofs for Linear Temporal Logic on Lasso Words. ATVA David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
2018	J	`jnl`	Refining security protocols. J. Comput. Secur. Christoph Sprenger, David A. Basin
2018	B	`conf`	Scalable Online First-Order Monitoring. RV Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2017	—	`conf`	AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. RV-CuBES David A. Basin, Srdjan Krstic, Dmitriy Traytel
2017	B	`conf`	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. RV David A. Basin, Srdan Krstic, Dmitriy Traytel
2017	—	`conf`	Almost Event-Rate Independent Monitoring of Metric Temporal Logic. TACAS (2) David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
2017	J	`jnl`	CryptHOL: Game-based Proofs in Higher-order Logic. IACR Cryptol. ePrint Arch. David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
2017	—	`conf`	Cutoff Bounds for Consensus Algorithms. CAV (2) Ognjen Maric, Christoph Sprenger, David A. Basin
2017	—	`conf`	Election Security and Economics: It's All About Eve. E-VOTE-ID David A. Basin, Hans Gersbach, Akaki Mamageishvili, Lara Schmid, Oriol Tejada
2017	A	`conf`	Refining Authenticated Key Agreement with Strong Adversaries. EuroS&P Joseph Lallemand, David A. Basin, Christoph Sprenger
2017	—	`conf`	Runtime Verification of Temporal Properties over Out-of-Order Data Streams. CAV (1) David A. Basin, Felix Klaedtke, Eugen Zalinescu
2017	J	`jnl`	Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR David A. Basin, Felix Klaedtke, Eugen Zalinescu
2017	A	`conf`	Securing Databases from Probabilistic Inference. CSF Marco Guarnieri, Srdjan Marinovic, David A. Basin
2017	J	`jnl`	Securing Databases from Probabilistic Inference. CoRR Marco Guarnieri, Srdjan Marinovic, David A. Basin
2017	J	`jnl`	Symbolically analyzing security protocols using tamarin. ACM SIGLOG News David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2017	A	`conf`	Test execution checkpointing for web applications. ISSTA Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin
2017	B	`conf`	Tests and Refutation. ATVA Mohammad Torabi Dashti, David A. Basin
2017	—	`conf`	The MonPoly Monitoring Tool. RV-CuBES David A. Basin, Felix Klaedtke, Eugen Zalinescu
2016	A	`conf`	Access Control Synthesis for Physical Spaces. CSF Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2016	J	`jnl`	Access Control Synthesis for Physical Spaces. CoRR Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2016	J	`jnl`	Exploring Website Location as a Security Indicator. CoRR Der-Yeuan Yu, Elizabeth Stobert, David A. Basin, Srdjan Capkun
2016	A	`conf`	In the Nick of Time: Proactive Prevention of Obligation Violations. CSF David A. Basin, Søren Debois, Thomas T. Hildebrandt
2016	J	`jnl`	Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
2016	A	`conf`	Modeling Human Errors in Security Protocols. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2016	J	`jnl`	Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2016	—	`conf`	Security Testing Beyond Functional Tests. ESSoS Mohammad Torabi Dashti, David A. Basin
2016	A	`conf`	Strong and Provably Secure Database Access Control. EuroS&P Marco Guarnieri, Srdjan Marinovic, David A. Basin
2015	A	`conf`	A Complete Characterization of Secure Human-Server Communication. CSF David A. Basin, Sasa Radomirovic, Michael Schläpfer
2015	—	`conf`	Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
2015	A	`conf`	Analyzing First-Order Role Based Access Control. CSF Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel
2015	A*	`conf`	Automated Symbolic Proofs of Observational Equivalence. CCS David A. Basin, Jannik Dreier, Ralf Sasse
2015	A	`conf`	Consensus Refined. DSN Ognjen Maric, Christoph Sprenger, David A. Basin
2015	—	`conf`	Failure-aware Runtime Verification of Distributed Systems. FSTTCS David A. Basin, Felix Klaedtke, Eugen Zalinescu
2015	J	`jnl`	Greedily computing associative aggregations on sliding windows. Inf. Process. Lett. David A. Basin, Felix Klaedtke, Eugen Zalinescu
2015	J	`jnl`	Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
2015	J	`jnl`	Monitoring Metric First-Order Temporal Properties. J. ACM David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu
2015	J	`jnl`	Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2015	C	`conf`	Semantic Vacuity. TIME Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin
2015	J	`jnl`	Strong and Provably Secure Database Access Control. CoRR Marco Guarnieri, Srdjan Marinovic, David A. Basin
2014	J	`jnl`	A Model-Driven Methodology for Developing Secure Data-Management Applications. IEEE Trans. Software Eng. David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
2014	A*	`conf`	ARPKI: Attack Resilient Public-Key Infrastructure. CCS David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2014	A	`conf`	Actor Key Compromise: Consequences and Countermeasures. CSF David A. Basin, Cas Cremers, Marko Horvat
2014	—	`conf`	Anchored LTL separation. CSL-LICS Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
2014	A*	`conf`	Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
2014	B	`conf`	Code Generation for Event-B. IFM Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
2014	—	`conf`	Decentralized Composite Access Control. POST Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
2014	J	`jnl`	Deciding safety and liveness in TPTL. Inf. Process. Lett. David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu
2014	A*	`conf`	Fail-Secure Access Control. CCS Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
2014	C	`conf`	Formal System Modelling Using Abstract Data Types in Event-B. ABZ Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
2014	J	`jnl`	Know Your Enemy: Compromising Adversaries in Protocol Analysis. ACM Trans. Inf. Syst. Secur. David A. Basin, Cas Cremers
2014	J	`jnl`	LTL is closed under topological closure. Inf. Process. Lett. Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
2014	—	`ch.`	Model-Driven Development of a Secure eHealth Application. Engineering Secure Future Internet Services and Systems Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel
2014	J	`jnl`	Obstruction-free authorization enforcement: Aligning security and business objectives. J. Comput. Secur. David A. Basin, Samuel J. Burri, Günter Karjoth
2014	B	`conf`	On Real-Time Monitoring with Imprecise Timestamps. RV David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2014	J	`jnl`	On Secure Data Deletion. IEEE Secur. Priv. Joel Reardon, David A. Basin, Srdjan Capkun
2014	J	`jnl`	Optimal Security-Aware Query Processing. Proc. VLDB Endow. Marco Guarnieri, David A. Basin
2014	B	`conf`	Scalable Offline Monitoring. RV David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2014	—	`conf`	Short paper: detection of GPS spoofing attacks in power grids. WISEC Der-Yeuan Yu, Aanjhan Ranganathan, Thomas Locher, Srdjan Capkun, David A. Basin
2013	J	`jnl`	Efficient construction of machine-checked symbolic protocol security proofs. J. Comput. Secur. Simon Meier, Cas Cremers, David A. Basin
2013	J	`jnl`	Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
2013	J	`jnl`	Monitoring Data Usage in Distributed Systems. IEEE Trans. Software Eng. David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2013	B	`conf`	Monitoring of Temporal First-Order Properties with Aggregations. RV David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2013	J	`jnl`	Predictable Mobile Routing for Spacecraft Networks. IEEE Trans. Mob. Comput. Daniel Fischer, David A. Basin, Knut Eckstein, Thomas Engel
2013	—	`ed.`	Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings POST David A. Basin, John C. Mitchell
2013	J	`jnl`	Provably repairing the ISO/IEC 9798 standard for entity authentication. J. Comput. Secur. David A. Basin, Cas Cremers, Simon Meier
2013	J	`jnl`	Role Mining with Probabilistic Models. ACM Trans. Inf. Syst. Secur. Mario Frank, Joachim M. Buhmann, David A. Basin
2013	A*	`conf`	Secure data deletion from persistent media. CCS Joel Reardon, Hubert Ritzdorf, David A. Basin, Srdjan Capkun
2013	A	`conf`	Semi-valid input coverage for fuzz testing. ISSTA Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2013	A*	`conf`	SoK: Secure Data Deletion. IEEE Symposium on Security and Privacy Joel Reardon, David A. Basin, Srdjan Capkun
2013	A	`conf`	Symbolic Probabilistic Analysis of Off-Line Guessing. ESORICS Bruno Conchinha, David A. Basin, Carlos Caleiro
2013	—	`ch.`	Technology Transfer. Industrial Deployment of System Engineering Methods David A. Basin, Thai Son Hoang
2013	A*	`conf`	The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
2012	J	`jnl`	Abstract Data Types in Event-B - An Application of Generic Instantiation CoRR David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato
2012	—	`conf`	Attack-preserving Security Protocol Transformations. ESSoS Doctoral Symposium Binh Thanh Nguyen, Christoph Sprenger, David A. Basin
2012	A	`conf`	Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
2012	A*	`conf`	Data Node Encrypted File System: Efficient Secure Deletion for Flash Memory. USENIX Security Symposium Joel Reardon, Srdjan Capkun, David A. Basin
2012	J	`jnl`	Dynamic enforcement of abstract separation of duty constraints. ACM Trans. Inf. Syst. Secur. David A. Basin, Samuel J. Burri, Günter Karjoth
2012	—	`conf`	Enforceable Security Policies Revisited. POST David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
2012	B	`conf`	Monitoring Compliance Policies over Incomplete and Disagreeing Logs. RV David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2012	J	`jnl`	Multi-Assignment Clustering for Boolean Data. J. Mach. Learn. Res. Mario Frank, Andreas P. Streich, David A. Basin, Joachim M. Buhmann
2012	C	`conf`	Optimal workflow-aware authorizations. SACMAT David A. Basin, Samuel J. Burri, Günter Karjoth
2012	—	`conf`	Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST David A. Basin, Cas Cremers, Simon Meier
2012	A	`conf`	Refining Key Establishment. CSF Christoph Sprenger, David A. Basin
2012	J	`jnl`	Role Mining with Probabilistic Models CoRR Mario Frank, Joachim M. Buhmann, David A. Basin
2012	—	`conf`	SECFUZZ: Fuzz-testing security protocols. AST@ICSE Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2012	J	`jnl`	The research value of publishing attacks. Commun. ACM David A. Basin, Srdjan Capkun
2012	A	`conf`	User-level secure deletion on log-structured file systems. AsiaCCS Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin
2011	C	`conf`	A decade of model-driven security. SACMAT David A. Basin, Manuel Clavel, Marina Egea
2011	B	`conf`	Algorithms for Monitoring Real-Time Properties. RV David A. Basin, Felix Klaedtke, Eugen Zalinescu
2011	—	`book`	Applied Information Security - a Hands-on Approach. David A. Basin, Patrick Schaller, Michael Schläpfer
2011	J	`jnl`	Automatically deriving information-theoretic bounds for adaptive side-channel attacks. J. Comput. Secur. Boris Köpf, David A. Basin
2011	B	`conf`	Constructing Mid-Points for Two-Party Asynchronous Protocols. OPODIS Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2011	J	`jnl`	Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2011	—	`conf`	FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA Bruno Conchinha, David A. Basin, Carlos Caleiro
2011	J	`jnl`	Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur. David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt
2011	B	`conf`	MONPOLY: Monitoring Usage-Control Policies. RV David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2011	—	`conf`	Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
2011	C	`conf`	Monitoring Usage-Control Policies in Distributed Systems. TIME David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2011	A	`conf`	Obstruction-Free Authorization Enforcement: Aligning Security with Business Objectives. CSF David A. Basin, Samuel J. Burri, Günter Karjoth
2011	J	`jnl`	Secure Deletion on Log-structured File Systems CoRR Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin
2011	A	`conf`	Separation of duties as a service. AsiaCCS David A. Basin, Samuel J. Burri, Günter Karjoth
2010	—	`conf`	Automatic Generation of Smart, Security-Aware GUI Models. ESSoS David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer
2010	J	`jnl`	Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. J. Comput. Secur. Sebastian Mödersheim, Luca Viganò, David A. Basin
2010	B	`conf`	Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL David A. Basin, Cas Cremers
2010	A*	`conf`	Developing security protocols by refinement. CCS Christoph Sprenger, David A. Basin
2010	—	`conf`	Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust Bruno Conchinha, David A. Basin, Carlos Caleiro
2010	J	`jnl`	Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler
2010	—	`conf`	How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. Financial Cryptography Workshops Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin
2010	A	`conf`	Impossibility Results for Secret Establishment. CSF Benedikt Schmidt, Patrick Schaller, David A. Basin
2010	A	`conf`	Keeping data secret under full compromise using porter devices. ACSAC Christina Pöpper, David A. Basin, Srdjan Capkun, Cas Cremers
2010	A	`conf`	Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS David A. Basin, Cas Cremers
2010	C	`conf`	Monitoring security policies with metric first-order temporal logic. SACMAT David A. Basin, Felix Klaedtke, Samuel Müller
2010	C	`conf`	On the definition of role mining. SACMAT Mario Frank, Joachim M. Buhmann, David A. Basin
2010	A*	`conf`	Policy Monitoring in First-Order Temporal Logic. CAV David A. Basin, Felix Klaedtke, Samuel Müller
2010	A	`ed.`	Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010 AsiaCCS Dengguo Feng, David A. Basin, Peng Liu
2010	—	`conf`	SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea
2010	A	`conf`	Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF Simon Meier, Cas Cremers, David A. Basin
2009	A*	`conf`	A probabilistic approach to hybrid role mining. CCS Mario Frank, Andreas P. Streich, David A. Basin, Joachim M. Buhmann
2009	J	`jnl`	Automated analysis of security-design models. Inf. Softw. Technol. David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2009	B	`conf`	Developing Topology Discovery in Event-B. IFM Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
2009	J	`jnl`	Developing topology discovery in Event-B. Sci. Comput. Program. Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
2009	A	`conf`	Dynamic Enforcement of Abstract Separation of Duty Constraints. ESORICS David A. Basin, Samuel J. Burri, Günter Karjoth
2009	J	`jnl`	From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptol. ePrint Arch. David A. Basin, Cas Cremers
2009	J	`jnl`	Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2009	—	`conf`	Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt
2009	A	`conf`	Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. CSF Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun
2009	A*	`conf`	Multi-assignment clustering for Boolean data. ICML Andreas P. Streich, Mario Frank, David A. Basin, Joachim M. Buhmann
2009	—	`ed.`	Proceedings of the Second ACM Conference on Wireless Network Security, WISEC 2009, Zurich, Switzerland, March 16-19, 2009 WISEC David A. Basin, Srdjan Capkun, Wenke Lee
2008	C	`conf`	A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2008	A*	`conf`	A class of probabilistic models for role engineering. CCS Mario Frank, David A. Basin, Joachim M. Buhmann
2008	A	`conf`	Cryptographically-Sound Protocol-Model Abstractions. CSF Christoph Sprenger, David A. Basin
2008	A	`conf`	Mechanisms for usage control. AsiaCCS Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter
2008	—	`conf`	Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann
2008	J	`jnl`	SSL/TLS Session-Aware User Authentication. Computer Rolf Oppliger, Ralf Hauser, David A. Basin
2008	J	`jnl`	SSL/TLS session-aware user authentication revisited. Comput. Secur. Rolf Oppliger, Ralf Hauser, David A. Basin
2008	J	`jnl`	Secure neighborhood discovery: a fundamental element for mobile ad hoc networking. IEEE Commun. Mag. Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David A. Basin, Srdjan Capkun, Jean-Pierre Hubaux
2008	B	`conf`	Topology dynamics and routing for predictable mobile networks. ICNP Daniel Fischer, David A. Basin, Thomas Engel
2008	J	`jnl`	Two approaches to an information security laboratory. Commun. ACM Michael Näf, David A. Basin
2007	A	`conf`	A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2007	—	`conf`	A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs Christoph Sprenger, David A. Basin
2007	A	`conf`	A Policy Language for Distributed Usage Control. ESORICS Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter
2007	—	`conf`	A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA). KiVS Rolf Oppliger, Ralf Hauser, David A. Basin, Aldo Rodenhaeuser, Bruno Kaiser
2007	A*	`conf`	An information-theoretic model for adaptive side-channel attacks. CCS Boris Köpf, David A. Basin
2007	B	`conf`	BAP: Broadcast Authentication Using Cryptographic Puzzles. ACNS Patrick Schaller, Srdjan Capkun, David A. Basin
2007	B	`conf`	Midpoints Versus Endpoints: From Protocols to Firewalls. ACNS Diana von Bidder, David A. Basin, Germano Caronni
2007	—	`conf`	Monitors for Usage Control. IFIPTM Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter
2007	J	`jnl`	Preface. J. Comput. Secur. Michael Backes, David A. Basin, Michael Waidner
2007	C	`conf`	Securing the Distribution and Storage of Secrets with Trusted Platform Modules. WISTP Paul E. Sevinç, Mario Strasser, David A. Basin
2007	A	`conf`	Specifying and analyzing security automata using CSP-OZ. AsiaCCS David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç
2007	J	`jnl`	Verifying a signature architecture: a comparative case study. Formal Aspects Comput. David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
2006	J	`jnl`	Automated Reasoning for Security Protocol Analysis. J. Autom. Reason. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
2006	—	`conf`	Controlling Access to Documents: A Formal Access Control Model. ETRICS Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog
2006	—	`conf`	Cryptographically Sound Theorem Proving. CSFW Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2006	J	`jnl`	Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2006	J	`jnl`	Distributed usage control. Commun. ACM Alexander Pretschner, Manuel Hilty, David A. Basin
2006	—	`conf`	Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin
2006	B	`conf`	Model Driven Security. ARES David A. Basin
2006	J	`jnl`	Model driven security: From UML models to access control infrastructures. ACM Trans. Softw. Eng. Methodol. David A. Basin, Jürgen Doser, Torsten Lodderstedt
2006	J	`jnl`	On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. Carlos Caleiro, Luca Viganò, David A. Basin
2006	J	`jnl`	SSL/TLS session-aware user authentication - Or how to effectively thwart the man-in-the-middle. Comput. Commun. Rolf Oppliger, Ralf Hauser, David A. Basin
2006	A	`conf`	Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS Boris Köpf, David A. Basin
2005	B	`conf`	Algebraic Intruder Deductions. LPAR David A. Basin, Sebastian Mödersheim, Luca Viganò
2005	—	`conf`	Deconstructing Alice and Bob. ARSPA@ICALP Carlos Caleiro, Luca Viganò, David A. Basin
2005	—	`conf`	Firewall Conformance Testing. TestCom Diana Senn, David A. Basin, Germano Caronni
2005	J	`jnl`	Konflikt oder Review zwei Ansätze für Labors in angewandter Informationssicherheit. Inform. Spektrum Michael Näf, David A. Basin
2005	J	`jnl`	OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. David A. Basin, Sebastian Mödersheim, Luca Viganò
2005	A	`conf`	On Obligations. ESORICS Manuel Hilty, David A. Basin, Alexander Pretschner
2005	J	`jnl`	Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Log. J. IGPL Carlos Caleiro, Luca Viganò, David A. Basin
2005	—	`book`	Rippling - meta-level guidance for mathematical reasoning. Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2005	B	`conf`	Verification of a Signature Architecture with HOL-Z. FM David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
2004	A	`ed.`	Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings IJCAR David A. Basin, Michaël Rusinowitch
2004	J	`jnl`	Editorial. High. Order Symb. Comput. David A. Basin, Olivier Danvy, Robert Harper
2004	—	`conf`	Metareasoning about Security Protocols using Distributed Temporal Logic. ARSPA@IJCAR Carlos Caleiro, Luca Viganò, David A. Basin
2004	—	`ed.`	Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004 FMSE Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner
2004	J	`jnl`	Reflective metalogical frameworks. ACM Trans. Comput. Log. David A. Basin, Manuel Clavel, José Meseguer
2004	—	`ch.`	Synthesis of Programs in Computational Logic. Program Development in Computational Logic David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
2003	—	`conf`	A Formal Analysis of a Digital Signature Architecture. IICIS David A. Basin, Kunihiko Miyazaki, Kazuo Takaragi
2003	A	`conf`	An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS David A. Basin, Sebastian Mödersheim, Luca Viganò
2003	J	`jnl`	Bytecode Verification by Model Checking. J. Autom. Reason. David A. Basin, Stefan Friedrich, Marek Gawkowski
2003	A*	`conf`	CDiff: a new reduction technique for constraint-based analysis of security protocols. CCS David A. Basin, Sebastian Mödersheim, Luca Viganò
2003	J	`jnl`	Decision procedures for inductive Boolean functions based on alternating automata. Theor. Comput. Sci. Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
2003	C	`conf`	Model driven security for process-oriented systems. SACMAT David A. Basin, Jürgen Doser, Torsten Lodderstedt
2003	—	`ed.`	Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003 FMSE Michael Backes, David A. Basin
2003	—	`ed.`	Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings TPHOLs David A. Basin, Burkhart Wolff
2002	—	`conf`	A Formal Analysis of the CORBA Security Service. ZB David A. Basin, Frank Rittinger, Luca Viganò
2002	—	`conf`	Bytecode Model Checking: An Experimental Analysis. SPIN David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
2002	B	`conf`	QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. FMCAD Abdelwaheb Ayari, David A. Basin
2002	—	`conf`	SecureUML: A UML-Based Modeling Language for Model-Driven Security. UML Torsten Lodderstedt, David A. Basin, Jürgen Doser
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2002	—	`conf`	The Next 700 Synthesis Calculi. FME David A. Basin
2002	—	`conf`	Verified Bytecode Model Checkers. TPHOLs David A. Basin, Stefan Friedrich, Marek Gawkowski
2001	J	`jnl`	A Higher-order Interpretation of Deductive Tableau. J. Symb. Comput. Abdelwaheb Ayari, David A. Basin
2001	—	`conf`	A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE David A. Basin, Frank Rittinger, Luca Viganò
2001	J	`jnl`	A theoretical and empirical investigation of search in imperfect information games. Theor. Comput. Sci. Ian Frank, David A. Basin
2001	J	`jnl`	Automated complexity analysis based on ordered resolution. J. ACM David A. Basin, Harald Ganzinger
2001	J	`jnl`	Current Trends in Logical Frameworks and Metalanguages. J. Autom. Reason. David A. Basin, Amy P. Felty
2001	—	`conf`	Towards an awareness-based semantics for security protocol analysis. LACPV@CAV Rafael Accorsi, David A. Basin, Luca Viganò
2000	B	`conf`	B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD David A. Basin, Stefan Friedrich, Sebastian Mödersheim
2000	A*	`conf`	Bounded Model Construction for Monadic Second-Order Logics. CAV Abdelwaheb Ayari, David A. Basin
2000	—	`conf`	Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI Ian Frank, David A. Basin, Alan Bundy
2000	A*	`conf`	Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. CAV Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
2000	—	`conf`	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. WRLA David A. Basin, Grit Denker
2000	J	`jnl`	Program Development Schemata as Derived Rules. J. Symb. Comput. Penny Anderson, David A. Basin
2000	—	`conf`	Rewriting Logic as a Metalogical Framework. FSTTCS David A. Basin, Manuel Clavel, José Meseguer
2000	J	`jnl`	Structuring Metatheory on Inductive Definitions. Inf. Comput. David A. Basin, Seán Matthews
1999	—	`ch.`	Formalization of the Development Process. Algebraic Foundations of Systems Specification David A. Basin, Bernd Krieg-Brückner
1999	A*	`conf`	Java Bytecode Verification by Model Checking. CAV David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
1999	—	`conf`	Lazy Infinite-State Analysis of Security Protocols. CQRE David A. Basin
1999	J	`jnl`	Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods Syst. Des. David A. Basin, Stefan Friedrich
1999	—	`conf`	Structural and Behavioral Modeling with Monadic Logics. ISMVL Abdelwaheb Ayari, David A. Basin, Stefan Friedrich
1998	—	`conf`	A Recipe for the Complexity Analysis of Non-Classical Logics. FroCoS David A. Basin, Luca Viganò
1998	—	`conf`	Combining WS1S and HOL. FroCoS David A. Basin, Stefan Friedrich
1998	—	`conf`	Finding Optimal Strategies for Imperfect Information Games. AAAI/IAAI Ian Frank, David A. Basin, Hitoshi Matsubara
1998	J	`jnl`	Labelled Modal Logics: Quantifiers. J. Log. Lang. Inf. David A. Basin, Seán Matthews, Luca Viganò
1998	J	`jnl`	Logical-Framework-Based Program Development. ACM Comput. Surv. David A. Basin
1998	J	`jnl`	Natural Deduction for Non-Classical Logics. Stud Logica David A. Basin, Seán Matthews, Luca Viganò
1998	—	`conf`	Optimal Play against Best Defence: Complexity and Heuristics. Computers and Games Ian Frank, David A. Basin
1998	—	`conf`	Scoped metatheorems. WRLA David A. Basin, Seán Matthews
1998	J	`jnl`	Search in Games with Incomplete Information: A Case Study Using Bridge Card Play. Artif. Intell. Ian Frank, David A. Basin
1998	J	`jnl`	Search in Games with Incomplete Information: A Case Study Using Bridge Card Play. ICCA J. Ian Frank, David A. Basin
1997	—	`conf`	A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium David A. Basin, Seán Matthews, Luca Viganò
1997	B	`conf`	LISA: A Specification Language Based on WS2S. CSL Abdelwaheb Ayari, David A. Basin, Andreas Podelski
1997	J	`jnl`	Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. David A. Basin, Seán Matthews, Luca Viganò
1997	Misc	`conf`	Labelled Quantified Modal Logics. KI David A. Basin, Seán Matthews, Luca Viganò
1996	J	`jnl`	A Calculus for and Termination of Rippling. J. Autom. Reason. David A. Basin, Toby Walsh
1996	—	`conf`	A Topography of Labelled Modal Logics. FroCoS David A. Basin, Seán Matthews, Luca Viganò
1996	J	`jnl`	Adding Metatheoretic Facilities to First-Order Theories. J. Log. Comput. David A. Basin, Seán Matthews
1996	A*	`conf`	Complexity Analysis Based on Ordered Resolution. LICS David A. Basin, Harald Ganzinger
1996	B	`conf`	Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin
1996	A	`conf`	Generic System Support for Deductive Program Development. TACAS Abdelwaheb Ayari, David A. Basin
1996	A*	`conf`	Implementing Modal and Relevance Logics in a Logical Framework. KR David A. Basin, Seán Matthews, Luca Viganò
1996	J	`jnl`	Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reason. Ina Kraan, David A. Basin, Alan Bundy
1996	—	`conf`	Modeling a Hardware Synthesis Methodology in Isabelle. TPHOLs David A. Basin, Stefan Friedrich
1996	A	`conf`	Structuring Metatheory on Inductive Definitions. CADE David A. Basin, Seán Matthews
1995	—	`conf`	Deriving and Applying Logic Program Transformers. ASIAN Penny Anderson, David A. Basin
1995	A*	`conf`	Hardware Verification using Monadic Second-Order Logic. CAV David A. Basin, Nils Klarlund
1994	—	`conf`	A Calculus for Rippling. CTRS David A. Basin, Toby Walsh
1994	J	`jnl`	A Term Equality Problem Equivalent to Graph Isomorphism. Inf. Process. Lett. David A. Basin
1994	A	`conf`	Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
1994	J	`jnl`	Generalized Rewriting in Type Theory. J. Inf. Process. Cybern. David A. Basin
1994	B	`conf`	IsaWhelk Interpreted in Isabelle. ICLP David A. Basin
1994	C	`conf`	Logic Frameworks for Logic Programs. LOPSTR David A. Basin
1994	A	`conf`	Termination Orderings for Rippling. CADE David A. Basin, Toby Walsh
1993	—	`conf`	A Conservative Extension of First-order Logic and Its Application to Theorem Proving. FSTTCS David A. Basin, Seán Matthews
1993	—	`conf`	A Framework for Program Development Based on Schematic Proof. IWSSD David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews
1993	J	`jnl`	A Recursion Planning Analysis of Inductive Completion. Ann. Math. Artif. Intell. Richard Barnett, David A. Basin, Jane Hesketh
1993	A*	`conf`	Difference Unification. IJCAI David A. Basin, Toby Walsh
1993	B	`conf`	Middle-Out Reasoning for Logic Program Synthesis. ICLP Ina Kraan, David A. Basin, Alan Bundy
1992	A	`conf`	An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI Ian Frank, David A. Basin, Alan Bundy
1992	A	`conf`	Difference Matching. CADE David A. Basin, Toby Walsh
1992	C	`conf`	Logic Program Synthesis via Proof Planning. LOPSTR Ina Kraan, David A. Basin, Alan Bundy
1991	—	`conf`	Automating Meta-Theory Creation and System Extension. AI*IA David A. Basin, Fausto Giunchiglia, Paolo Traverso
1991	J	`jnl`	Formally verified synthesis of combinational CMOS circuits. Integr. David A. Basin, Geoffrey M. Brown, Miriam Leeser
1991	—	`conf`	Some Normalization Properties of Martin-Löf's Type Theory, and Applications. TACS David A. Basin, Douglas J. Howe
1990	—	`—`	Building Problem Solving Environments in Constructive Type Theory. David A. Basin
1990	A	`conf`	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. CADE David A. Basin
1989	—	`conf`	Building Theories in Nuprl. Logic at Botik David A. Basin
1989	—	`conf`	Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis David A. Basin, Peter Del Vecchio
1988	A	`conf`	An Environment For Automated Reasoning About Partial Functions. CADE David A. Basin