Automated security protocol analysis: state-of-the-art and open challenges

Cas Cremers

24Apr
14:00 24th April 2015 ( week 0, Trinity Term 2015 )
Tony Hoare Room, Robert Hooke Building

In this talk we will give an overview of the current state-of-the-art in automated security protocol analysis, illustrate some milestones reached, and show some of the many open challenges.

Speaker bio

Associate Professor Cas Cremers received his PhD from Eindhoven University of Technology in 2006. Between 2006 and 2013, he worked at the Information Security group at ETH Zurich, Switzerland, until joining the University of Oxford in 2013.

His research focuses on information security, in particular the formal analysis of security protocols. This work ranges from developing mathematical foundations for protocol analysis to the development of analysis tools, notably the Scyther tool. Recently his research expanded into directions such as protocol standardisation, including the improvement of the ISO/IEC 9798 standard, and applied cryptography,leading to the development of new security requirements and protocols.