TU Wien Informatics

20 Years

Talk: Security Protocols: Model Checking Standards, Prof. D. Basin, ETH Zurich

  • 2019-05-20
  • Security & Privacy

Invitation to a talk by Prof. David Basin, ETH Zurich, head of the Information Security group and department head

Abstract:

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.

Contact: Univ. Prof. Matteo Maffei

Website: secpriv.tuwien.ac.at

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!