David Basin

Cited by

	All	Since 2016
Citations	14180	5225
h-index	59	36
i10-index	206	108

1200

600

300

900

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202144 49 51 98 92 79 89 125 103 162 175 238 316 394 479 519 652 661 770 836 778 906 989 852 1000 1027 1124 1154 65

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 Security, Saarland UniversityVerified email at cispa.de
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Michael RusinowitchINRIAVerified email at loria.fr
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Christoph SprengerSenior researcher at ETH ZurichVerified email at inf.ethz.ch
Benedikt SchmidtGoogleVerified email at google.com
Simon MeierDirector of Engineering, Digital AssetVerified email at digitalasset.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Mario FrankExaminer, European Patent OfficeVerified email at berkeley.edu
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Verified email at irit.fr
Joachim M. BuhmannETH ZurichVerified email at inf.ethz.ch
Sasa RadomirovicHeriot-Watt UniversityVerified email at hw.ac.uk
Thai Son HoangLecturer in Cyber-Physical Systems, University of SouthamptonVerified email at ecs.soton.ac.uk

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	1150	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	1047	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	670	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	565	2005
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	384	2007
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	374	2013
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	306	2006
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	228	2003
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	217	2012
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge Univ Press, 2005	198	2005
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	196	2007
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	185	2003
On obligations M Hilty, D Basin, A Pretschner European Symposium on Research in Computer Security, 98-117, 2005	174	2005
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	156	2008
Automated analysis of security-design models D Basin, M Clavel, J Doser, M Egea Information and Software Technology 51 (5), 815-831, 2009	151	2009
Sok: Secure data deletion J Reardon, D Basin, S Capkun 2013 IEEE symposium on security and privacy, 301-315, 2013	146	2013
Search in Games with Incomplete Information I Frank, D Basin Search and Planning Under Incomplete Information, 89-123, 1998	144*	1998
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	133	2018
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	120	2014
A probabilistic approach to hybrid role mining M Frank, AP Streich, D Basin, JM Buhmann Proceedings of the 16th ACM conference on Computer and communications …, 2009	116	2009

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

Upload PDF

Follow this author

Cited by

Co-authors