CryptoForma: 2nd Meeting

CryptoForma home

The second official CryptoForma meeting was hosted by the University of Kent, on their Medway campus on 2 October 2009, organised by Eerke Boiten.

Cryptoverif tutorial by Karthik Bhargavan (coffee break at 11)
short talks, of 11 minutes each (Tom Chothia, Mark Ryan, Myrto Arapinis, Misha Aizatulin)
Provable security tutorial by Alex Dent, part 3

Back row: Fubiao Xia, Nigel Smart, David Williams, Simon Thompson, Chris Culnane, Catalin Hritcu, Murat Moran, Steve Schneider, Dan Grundy, Steve Williams, Eerke Boiten, Alex Dent, Sriram Srinivasan, Bogdan Warinschi, Eike Ritter, Tom Chothia, Myrto Arapinis

Front row: Misha Aizatulin, Mark Ryan, Francois Dupressoir, Andy Gordon, Alfredo Pironti, Liqun Chen, Guilin Wang, Long Nguyen, Zhe Xia, Johannes Borgstroem, Karthik Bhargavan