CryptoForma: 2nd Meeting
The second official CryptoForma meeting was hosted by
the University of Kent, on their Medway campus (Board Room,
Rochester Building, Pembroke campus, Chatham
Maritime, ME4 4AG, see
www.kent.ac.uk/maps/ukm.html)
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