CryptoForma: 1st Meeting
The first official CryptoForma meeting was hosted and sponsored by
Royal Holloway, University of London, on 3 June 2009, organised by Kenny Paterson.
Talks and speakers were:
- Alex Dent (RHUL): Provable Security (tutorial)
- Andy Gordon (Microsoft): "Modular Verification of Security Protocol Code by
Typing" (joint work with Karthik Bhargavan and Cédric Fournet)
- Eike Ritter (Birmingham): Characterising Static Equivalence in the Applied Pi-Calculus
- Long Nguyen (Oxford): Authentication protocols based on human interactions in
pervasive computing (joint work with Bill Roscoe)
- Bogdan Warinschi (Bristol): Computational Soundness
(no pictures were taken, but there are some on Alex's slides!)