Research Area: Cyber and Information Security
Prof. David Basin
Prof. David Basin (ETH Zurich) has joined INSAIT as an affiliated faculty to lead the formation of a new security group, strengthening INSAIT’s mission to advance secure and trustworthy AI.
Prof. Basin is a Full Professor at ETH Zurich and holds the chair for Information Security at the Department of Computer Science. He has been Editor-in-Chief of the ACM Transactions on Privacy and Security, 2015-2020, and of Springer-Verlag’s book series on Information Security and Cryptography, since 2007. He is also the founding director of ZISC, the Zurich Information Security Center, which he led from 2003-2011. He was named Fellow of the ACM in 2018 and Fellow of the IEEE in 2021 for his contributions to Information Security and Formal Methods.
His research focuses on Information Security, in particular on foundations, methods, and tools for modeling, building, and validating secure and reliable systems. He has developed, with collaborators, numerous software tools used in academia and industry. These include the Tamarin prover, a security protocol analysis tool, the MonPoly runtime verification system, and system development tools for security and privacy by design.
