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!)