David Basin

Prof. Dr. David Basin is a Full Professor in the Department of Computer Science at ETH Zurich. His research interests include information security, verification, formal methods, software engineering, and logic in computer science. He is affiliated with ETH Zurich and maintains a profile page at https://inf.ethz.ch/people/person-detail.basin.html.

David Basin is a Professor of Computer Science at ETH Zurich and affiliated faculty at INSAIT and Sofia University. His research focuses on Security, Computer Security, Formal Methods, and Verification. He has contributed significantly to the development of tools and frameworks for the automated validation of internet security protocols, model-driven security, and symbolic analysis of security protocols. His work includes formal analysis of 5G authentication, decentralized privacy-preserving proximity tracing, and policy languages for distributed usage control. Basin's research emphasizes rigorous methods for ensuring the correctness and security of complex systems.