Security Protocols: Model Checking Standards
- 14:00 10th May 2019 ( Trinity Term 2019 )Tony Hoare Room, Robert Hooke Building
The design of security protocols is typically approached as an art, rather than a science, and often with disastrous consequences. But this need not be so! I have been working for ca. 20 years on foundations, methods, and tools, both for developing protocols that are correct by construction and for the post-hoc verification of existing designs. In this talk I will introduce my work in this area and describe my experience analyzing, improving, and contributing to different industry standards, both existing and upcoming. As case studies, I will discuss the ISO/IEC 9798 entity authentication standard and 5G Authentication and Key Agreement.
Speaker bio
David Basin is a full professor of Computer Science at ETH Zurich and head of department.He received his Ph.D. in Computer Science from Cornell University in 1989 and his Habilitation in Computer Science from the University of Saarbrucken in 1996. From 1997–2002 he held the chair of Software Engineering at the University of Freiburg in Germany. His research areas are Information Security and Software Engineering. He is the founding director of the ZISC, the Zurich Information Security Center, which he led from 2003-2011. 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 a fellow of the ACM.
Share this:
