8th Meeting: Royal Holloway, 16th July 2012

The eighth official CryptoForma meeting was hosted by Royal Holloway, University of London, on 16 July 2012.


9.55 opening
10.00 Gareth Smith & Philippa Gardner (Imperial College) “Proving Client-Side Web Programs” (tutorial)
11.00 coffee (& demo)
11.30 Dusko Pavlovic (RHUL) “Monoidal computer: Towards cryptography in pictures”
12.15 lunch
13.40 Gaven Watson (Bristol) “Analysis of a New Authenticated-Encryption Mode”
14.00 Feng Hao (Newcastle) “Formal modelling in key exchange protocols – harder than it looks”
14.30 Mu Yang (Southampton) “A Game-Theoretic Analysis of Cooperation in Anonymity Networks” (work with Vladimiro Sassone)
15.00 Alfredo Pironti “Ideal APIs and Modular Verification for TLS 1.2” (work with Karthikeyan Bhargavan, C├ędric Fournet, Markulf Kohlweiss, and Pierre-Yves Strub)
15.45 end

Stay updated

Stay involved in our discussions on various social networks.

Comments are closed.