Slides and talks

Below are some slides from recent invited talks and guest lectures, which I'd be happy to give again.

Slides associated with my conference publications are available here, along with the papers themselves.

All slides are in PDF format.

Secure Propogation of Trust in the Next Generation Internet
A talk given as part of an interview for a post as Lecturer here at the University of Edinburgh.

Parallel Key Search
A talk given at the Workshop on Formal and Computational Cryptography (FCC 2007), Venice, July 2007.

Quantitative Analysis of APIs
A talk given at the Workshop on Analysis of Security APIs (ASA 07), Venice, July 2007.

Formal Analysis of Security APIs
A seminar given at the Ruhr Univeristy Bochum, and at Utimaco, Aachen, April 2007.

Formal Analysis of Security APIs
A guest lecture for the Automated Reasoning MSc/UG4 course at the University of Edinburgh, November 2006.

Model Checking Security APIs
A seminar given at LORIA in Nancy, September 2006.

Formal Analysis of PIN Block Attacks
A talk given at The University of Birmingham in February 2006, a Scottish Theorem Provers meeting in March 2006, at the CIAO-06 workshop in April 2006, and at The University of Glasgow in May 2006. A short version was given at CSFW-06.

Back to homepage.