David Basin

Cited by

	All	Since 2019
Citations	20467	8365
h-index	66	44
i10-index	256	143

1600

800

400

1200

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 57 105 92 80 90 121 115 154 175 257 340 395 507 543 643 658 772 892 819 904 1004 864 974 1051 1255 1370 1549 1518 1504 1164

Public access

View all

48 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Felix KlaedtkeNEC Labs EuropeVerified email at neclab.eu
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab FellowVerified email at inf.ethz.ch
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Christoph SprengerSenior researcher at ETH ZurichVerified email at inf.ethz.ch
Michael RusinowitchINRIAVerified email at loria.fr
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Benedikt SchmidtSnowflakeVerified email at snowflake.com
Simon MeierPrincipal Architect, Digital AssetVerified email at digitalasset.com
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Mohammad Torabi DashtiETH ZurichVerified email at duck.com

David Basin

Professor of Computer Science, ETH Zurich

Verified email at inf.ethz.ch - Homepage

Security Computer Security Formal Methods Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The AVISPA tool for the automated validation of internet security protocols and applications A Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	1619	2005
SecureUML: A UML-based modeling language for model-driven security T Lodderstedt, D Basin, J Doser International Conference on the Unified Modeling Language, 426-441, 2002	1187	2002
The TAMARIN prover for the symbolic analysis of security protocols S Meier, B Schmidt, C Cremers, D Basin Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	875	2013
Handbook of model checking Springer 10, 978-3, 2018	804*	2018
Model driven security: From UML models to access control infrastructures D Basin, J Doser, T Lodderstedt ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 39-91, 2006	725	2006
OFMC: A symbolic model checker for security protocols D Basin, S Mödersheim, L Vigano International Journal of Information Security 4, 181-208, 2005	675	2005
A formal analysis of 5G authentication D Basin, J Dreier, L Hirschi, S Radomirovic, R Sasse, V Stettler Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018	463	2018
An information-theoretic model for adaptive side-channel attacks B Köpf, D Basin Proceedings of the 14th ACM conference on Computer and communications …, 2007	463	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	356	2006
Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020	343	2020
Automated analysis of Diffie-Hellman protocols and advanced security properties B Schmidt, S Meier, C Cremers, D Basin 2012 IEEE 25th Computer Security Foundations Symposium, 78-94, 2012	339	2012
An on-the-fly model-checker for security protocol analysis D Basin, S Mödersheim, L Vigano Computer Security–ESORICS 2003: 8th European Symposium on Research in …, 2003	258	2003
A policy language for distributed usage control M Hilty, A Pretschner, D Basin, C Schaefer, T Walter Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007	240	2007
Monitoring metric first-order temporal properties D Basin, F Klaedtke, S Müller, E Zălinescu Journal of the ACM (JACM) 62 (2), 1-45, 2015	220	2015
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge Univ Press, 2005	218	2005
Sok: Secure data deletion J Reardon, D Basin, S Capkun 2013 IEEE symposium on security and privacy, 301-315, 2013	209	2013
Model driven security for process-oriented systems D Basin, J Doser, T Lodderstedt Proceedings of the eighth ACM symposium on Access control models and …, 2003	205	2003
On obligations M Hilty, D Basin, A Pretschner Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005	185	2005
ARPKI: Attack resilient public-key infrastructure D Basin, C Cremers, THJ Kim, A Perrig, R Sasse, P Szalachowski Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014	174	2014
Search in Games with Incomplete Information I Frank, D Basin Search and Planning Under Incomplete Information, 89-123, 1998	173*	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors