Basin, David
professor
computer science
Institute of Theoretical Computer Science
Switzerland
Biography
David Basin is Full Professor at ETH Zurich since 2003 and holds the chair for Information Security within the Institute of Information Security at the Department of Computer Scienc
Research Interest
His research area is Information Security, in particular methods and tools for building secure and reliable systems. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and of Springer-Verlag's book series on Information Security and Cryptography. He is also the founding director of ZISC, the Zurich Information Security Center, which he led from 2003-2011.
Publications
-
Scalable Offline Monitoring of Temporal Specifications.
-
Large-scale System Development using Abstract Data Types and Refinement.
-
Algorithms for Monitoring Real-time Properties.
