David Basin

Cited by

	All	Since 2018
Citations	17614	6655
h-index	63	39
i10-index	240	131

1500

750

375

1125

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202356 99 87 75 92 109 113 160 174 247 366 406 495 542 626 664 761 887 807 922 993 884 966 1010 1151 1237 1399 1409 445

Public access

View all

37 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
Felix KlaedtkeNEC Labs EuropeVerified email at neclab.eu
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
Christoph SprengerSenior researcher at ETH ZurichVerified email at inf.ethz.ch
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Michael RusinowitchINRIAVerified email at loria.fr
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
Benedikt SchmidtGoogleVerified email at google.com
Simon MeierLed Architect, Digital AssetVerified email at digitalasset.com
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch
Mario FrankEuropean Patent OfficeVerified email at epo.org

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	1470	2005
SecureUML: A UML-based modeling language for model-driven security T Lodderstedt, D Basin, J Doser ≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002	1149	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	707	2006
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	672	2013
OFMC: A symbolic model checker for security protocols D Basin, S Mödersheim, L Vigano International Journal of Information Security 4, 181-208, 2005	642	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	442	2007
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	352	2018
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	336	2006
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	299	2012
Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020	298	2020
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	252	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	224	2007
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge Univ Press, 2005	209	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	207	2003
Sok: Secure data deletion J Reardon, D Basin, S Capkun 2013 IEEE symposium on security and privacy, 301-315, 2013	185	2013
On obligations M Hilty, D Basin, A Pretschner ESORICS 3679, 98-117, 2005	183	2005
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	180	2015
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	164	2008
Automated analysis of security-design models D Basin, M Clavel, J Doser, M Egea Information and Software Technology 51 (5), 815-831, 2009	161	2009
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	157	2014

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