Symbolic protocol verification - where next?

Add to your list(s) Download to your calendar using vCal

• Cas Cremers, University of Oxford
• Thursday 14 May 2015, 11:00-12:00
• Room 245, School of Computer Science.

If you have a question about this talk, please contact Gurchetan Grewal.

During the last twenty years, there has been a surge in symbolic analysis methods for security protocols and APIs. During the early years, most attacks that were found were of a theoretical nature. More recently, several concrete attacks that were found in this domain have impacted real-world standards. This talk covers some historical aspects of these methods, the current state, and sketches some of the many remaining challenges. As an example of a current tool, we will discuss the underlying model of the Tamarin prover. We will highlight some of its strengths and show where we would like to go next.

This talk is part of the Computer Security Seminars series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Security Seminars
• Room 245, School of Computer Science
• computer sience

Note that ex-directory lists are not shown.