CryptoForma
Formal Methods and Cryptography: The Next Generation of Abstractions
EPSRC Network of Excellence
The EPSRC CryptoForma network (1 May 2009 - 1 May 2012) aims
to build an expanding network in computer
science and mathematics to support
the development of formal notations, methods and techniques for
modelling and analysing modern cryptographic protocols.
This work increases security and confidence in such protocols and
their applications (e.g. in e-commerce and voting), to the benefit of
protocol designers, businesses, governments, and application users.
Events
- 0th meeting, Microsoft Research Cambridge, January 2009
- 1st meeting, Royal Holloway, 3 June 2009
- 2nd meeting, University of Kent, 2
October 2009
- 3rd meeting, University of Bristol, 7-8 January 2010: cancelled due to snow, postponed until 7-8 April
- 1st workshop, Paris, 25 May 2010
- 4th meeting, University of Surrey,
22 October (NEW DATE) 2010
Other activities may include: tutorials, visits, etc.
Participants
-
Eerke Boiten (PI),
David Chadwick,
Dan Grundy
-
Aybek Mukhamedov,
Eike Ritter,
Mark Ryan,
Ben Smyth,
Guilin Wang,
Fubiao Xia, Myrto Arapinis,
Sergiu Bursuc
-
Nigel Smart,
Bogdan Warinschi,
Essam Ghadafi,
Stephen Williams, Jake Loftus, Ming-Feng Lee
-
Alex Dent,
Kenny Paterson,
Gaven Watson,
Clive Blackwell
-
Liqun Chen
-
Moritz Becker,
Johannes Borgstroem,
George Danezis,
Cédric Fournet,
Andy Gordon,
-
Chris Culnane,
James Heather,
Murat Moran,
Steve Schneider,
Zhe Xia,
S. Srinivasan, Chris Culnane, H. Liyanage
-
Misha Aizatulin,
Francois Dupressoir
-
John Clarke
-
Long Nguyen,
Andrew Martin, Tulio de Souza, Joss Wright
University of Hertfordshire
Michael Roe
-
Jeff Yan,
Jeremy Bryans
De Montfort University
Francois Siewe
University of Portsmouth
Benjamin Aziz, Julio
Hernandez-Castro
University of Sheffield
Mike Stannett
UCL
Jens Groth
Cambridge University
Jean Martina
University of Southampton
Vladimiro Sassone
International Friends
Researchers outside the UK liaised with the network.
Contacts