David Basin
Impact in
- Software top 0.5%
- Computer Networks and Communications top 0.2%
- Advanced Authentication Protocols Security
Papers in
-
- Logic, programming, and type systems 80
- Security and Verification in Computing 68
- Logic, Reasoning, and Knowledge 48
- Cryptography and Data Security 42
-
- Advanced Authentication Protocols Security 70
- Co-authors
- Jürgen Doser (7 shared papers)Torsten Lodderstedt (5 shared papers)Luca Viganò (33 shared papers)Sebastian Mödersheim (11 shared papers)Cas Cremers (20 shared papers)Felix Klaedtke (26 shared papers)Simon Meier-Vieracker (6 shared papers)Benedikt Schmidt (7 shared papers)
- Journals
- Lecture notes in computer science (102 papers)Journal of Computer Security (8 papers)ACM Transactions on Information and System Security (5 papers)Formal Methods in System Design (5 papers)Proceedings of the VLDB Endowment (4 papers)
- Partner nations
- SwitzerlandGermanyUnited Kingdom
In The Last Decade
David Basin
334 papers receiving 9.2k citations
David Basin's Hit Papers
Peers
Comparison fields: 5 of 106
- Software 968
- Computer Networks and Communications 4.6k
- Information Systems 4.5k
- Artificial Intelligence 5.8k
- Computational Theory and Mathematics 2.0k
Countries citing papers authored by David Basin
This map shows the geographic impact of David Basin's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David Basin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Basin more than expected).
Fields of papers citing papers by David Basin
This network shows the impact of papers produced by David Basin. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David Basin. The network helps show where David Basin may publish in the future.
Co-authors
The 25 scholars most cited alongside David Basin, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 347 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications Hit paper breakdown → | 2005 | 1044 |
| 2 | SecureUML: A UML-Based Modeling Language for Model-Driven Security Hit paper breakdown → | 2002 | 601 |
| 3 | The TAMARIN Prover for the Symbolic Analysis of Security Protocols Hit paper breakdown → | 2013 | 422 |
| 4 | Model driven security Hit paper breakdown → | 2006 | 398 |
| 5 | 2004 | 391 | |
| 6 | A Formal Analysis of 5G Authentication Hit paper breakdown → | 2018 | 286 |
| 7 | 2007 | 239 | |
| 8 | 2006 | 181 | |
| 9 | 2012 | 149 | |
| 10 | 2003 | 138 | |
| 11 | 2015 | 136 | |
| 12 | 2003 | 123 | |
| 13 | 1993 | 122 | |
| 14 | 2007 | 117 | |
| 15 | 2013 | 103 | |
| 16 | 2005 | 103 | |
| 17 | 2005 | 101 | |
| 18 | 2008 | 101 | |
| 19 | 2008 | 83 | |
| 20 | 2020 | 77 |
About David Basin
David Basin is a scholar working on Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Information Systems and Sociology and Political Science, having authored 347 papers that have together received 9.7k indexed citations. Recurring topics across this work include Formal Methods in Verification (100 papers), Logic, programming, and type systems (80 papers), Advanced Authentication Protocols Security (70 papers), Security and Verification in Computing (68 papers), Access Control and Trust (64 papers), User Authentication and Security Systems (63 papers), Logic, Reasoning, and Knowledge (48 papers) and Cryptography and Data Security (42 papers). The work is most often cited by research in Software (968 citations), Computer Networks and Communications (4.6k citations), Information Systems (4.5k citations), Artificial Intelligence (5.8k citations) and Computational Theory and Mathematics (2.0k citations). David Basin has collaborated with scholars based in Switzerland, Germany and United Kingdom. Frequent co-authors include Jürgen Doser, Torsten Lodderstedt, Luca Viganò, Sebastian Mödersheim, Cas Cremers, Felix Klaedtke, Simon Meier-Vieracker, Benedikt Schmidt, Eugen Zălinescu and Boris Köpf. Their work appears in journals such as Lecture notes in computer science, Journal of Computer Security, ACM Transactions on Information and System Security, Formal Methods in System Design and Proceedings of the VLDB Endowment.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.