Concepedia

David Basin

DB

139

Publications

7.1K

Citations

43

H-Index

1991

Active since

Affiliations

ETH Zurich(Current)

Max Planck Institute for Informatics

University of Freiburg

Max Planck Society

University of Oxford

David Basin is an author at ETH Zurich specializing in engineering, computer science, and information security.

Top concepts

EngineeringComputer ScienceInformation SecurityFormal VerificationData SecurityFormal MethodsCryptographyVerificationSoftware AnalysisData Privacy

Publications per year

1991–2023

139

Publications

139

OFMC: A symbolic model checker for security protocols

David Basin, Sebastian Mödersheim, Luca Viganò · International Journal of Information Security · 2004 · 497 citations · Full text

Engineering, Symbolic Model Checker, Information Security +9

Model driven security

David Basin, Jürgen Doser, Torsten Lodderstedt · ACM Transactions on Software Engineering and Methodology · 2006 · 474 citations

Engineering, Information Security, Software Engineering +17

A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi et al. · 2018 · 391 citations · Full text

Mobile Security, Engineering, Information Security +16

An information-theoretic model for adaptive side-channel attacks

Boris Köpf, David Basin · 2007 · 362 citations

Engineering, Information Security, Information Forensics +16

Distributed usage control

Alexander Pretschner, Manuel Hilty, David Basin · Communications of the ACM · 2006 · 240 citations

Engineering, Information Security, Server-side Architecture +19

Rows per page

1–5 of 139