David Basin
Scholar

David Basin

Google Scholar ID: -BA-kHYAAAAJ
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
SecurityComputer SecurityFormal MethodsVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,897
 
H-index
45
 
i10-index
146
 
Publications
20
 
Co-authors
152
list available
Contact
No contact links provided.
Publications
5 items
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
2025
Cited
0
One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
2025
Cited
0
VerIso: Verifiable Isolation Guarantees for Database Transactions
2025
Cited
1
Oblivious Digital Tokens
2025
Cited
0
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
arXiv.org · 2024
Cited
0
Resume (English only)
Background
  • Full professor in the Department of Computer Science at ETH Zurich since 2003
  • Heads the Information Security Group
  • Served as department head from 2019–2020
  • Research focuses on Information Security, particularly on foundations, methods, and tools for modeling, building, and validating secure and reliable systems
  • Fellow of the ACM and the IEEE
Co-authors
152 total
Luca Viganò
Luca Viganò
Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College
Co-author 2
Co-author 2
Ralf Sasse
Ralf Sasse
Senior Scientist in Computer Science, ETH Zurich
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Srdjan Capkun (Srđan Čapkun)
Srdjan Capkun (Srđan Čapkun)
Professor of Computer Science, ETH Zurich
Co-author 7
Co-author 7
Co-author 8
Co-author 8