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
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
-
Essam Ghadafi,
Nigel Smart,
Bogdan Warinschi,
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,
Michael Roe
-
Chris Culnane,
James Heather,
Murat Moran,
Steve Schneider,
Zhe Xia
-
Misha Aizatulin,
Francois Dupressoir
-
John Clarke
-
Long Nguyen,
Andrew Martin
-
Jeff Yan,
Jeremy Bryans
De Montfort University
Francois Siewe
Rutherford Appleton Laboratory
Benjamin Aziz
University of Sheffield
Mike Stannett
UCL
Jens Groth
International Friends
Researchers outside the UK liaised with the network.
Contacts