David Basin

Cited by

	All	Since 2017
Citations	16234	6320
h-index	61	38
i10-index	229	127

1400

700

350

1050

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202244 51 54 100 95 80 85 129 104 166 171 247 323 397 477 529 658 664 785 843 779 908 1000 857 997 1004 1143 1219 1370 583

Public access

View all

32 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 CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
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
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Michael RusinowitchINRIAVerified email at loria.fr
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Christoph SprengerSenior researcher at ETH ZurichVerified email at inf.ethz.ch
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
Benedikt SchmidtGoogleVerified email at google.com
Simon MeierLed Architect, Digital AssetVerified email at digitalasset.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Mario FrankEuropean Patent OfficeVerified email at epo.org
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Jorge CuellarUni Passau, Univ de los Andes (Bogota)Verified email at gw.uni-passau.de

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, ... International conference on computer aided verification, 281-285, 2005	1337	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	1111	2002
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	689	2006
OFMC: A symbolic model checker for security protocols D Basin, S Mödersheim, L Vigano International Journal of Information Security 4 (3), 181-208, 2005	612	2005
The TAMARIN prover for the symbolic analysis of security protocols S Meier, B Schmidt, C Cremers, D Basin International conference on computer aided verification, 696-701, 2013	539	2013
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	426	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	324	2006
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	272	2018
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	265	2012
An on-the-fly model-checker for security protocol analysis D Basin, S Mödersheim, L Vigano European Symposium on Research in Computer Security, 253-270, 2003	237	2003
Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020	234	2020
A policy language for distributed usage control M Hilty, A Pretschner, D Basin, C Schaefer, T Walter European Symposium on Research in Computer Security, 531-546, 2007	214	2007
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge Univ Press, 2005	205	2005
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	200	2003
On obligations M Hilty, D Basin, A Pretschner European Symposium on Research in Computer Security, 98-117, 2005	176	2005
Sok: Secure data deletion J Reardon, D Basin, S Capkun 2013 IEEE symposium on security and privacy, 301-315, 2013	171	2013
Secure neighborhood discovery: A fundamental element for mobile ad hoc networking P Papadimitratos, M Poturalski, P Schaller, P Lafourcade, D Basin, ... IEEE Communications Magazine 46 (2), 132-139, 2008	163	2008
Automated analysis of security-design models D Basin, M Clavel, J Doser, M Egea Information and Software Technology 51 (5), 815-831, 2009	159	2009
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	154	2015
Search in Games with Incomplete Information I Frank, D Basin Search and Planning Under Incomplete Information, 89-123, 1998	148*	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 this author

Cited by

Co-authors