CryptoForma

Formal Methods and Cryptography: The Next Generation of Abstractions EPSRC Network of Excellence

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 2010
• 5th meeting, University of Birmingham, 7 April 2011
• 2nd workshop, co-located with FM 2011, Limerick, 20 or 21 June 2011
• 6th meeting, University of Kent, Canterbury, 13-14 September 2011
• 7th meeting, University of Edinburgh, 1-2 March 2012

Participants

• University of Kent

  Eerke Boiten (PI), David Chadwick, Dan Grundy, Alex Alferovs
  
  

• University of Birmingham

  Aybek Mukhamedov, Eike Ritter, Mark Ryan, Fubiao Xia, Myrto Arapinis, Sergiu Bursuc, Chris Novakovic
  
  

• University of Bristol

  Nigel Smart, Bogdan Warinschi, Essam Ghadafi, Stephen Williams, Jake Loftus, Ming-Feng Lee, David Bernhard
  
  

• Royal Holloway, University of London

  Alex Dent, Kenny Paterson, Gaven Watson, Clive Blackwell
  
  

• Hewlett-Packard

  Liqun Chen
  
  

• Microsoft Research

  Moritz Becker, George Danezis, Cédric Fournet, Andy Gordon
  
  

• University of Surrey

  James Heather, Murat Moran, Steve Schneider, Zhe Xia, S. Srinivasan, Chris Culnane, H. Liyanage
  
  

• Open University

  Misha Aizatulin, Francois Dupressoir
  
  

• Oxford University

  Long Nguyen, Andrew Martin, Tulio de Souza, Joss Wright
  
  

• University of Hertfordshire

  Michael Roe
  
  

• University of Portsmouth

  Benjamin Aziz, Julio Hernandez-Castro
  
  

• Cambridge University

  Jean Martina
  
  

• Newcastle University

  Jeff Yan, Jeremy Bryans
  
  

• De Montfort University

  Francois Siewe
  
  

• University of Sheffield

  Mike Stannett
  
  

• York University

  John Clarke
  
  

• UCL

  Jens Groth
  
  

• University of Southampton

  Vladimiro Sassone
  
  

International Friends

• University of Luxemburg: Peter Ryan
  
  
• Politecnico di Torino: Alfredo Pironti, Riccardo Sisto
  
  
• TU Dortmund: Jan Jürjens
  
  
• INRIA, Cachan: Graham Steel
  
  
• Gemalto Security Labs, Meudon, France: Maria Christofi
  
  
• Technical University of Darmstadt: Christina Brzuska
  
  
• Uppsala University: Johannes Borgstroem,
  
  
• University of Tsukuba, Japan: Simon Kramer
  
  
• State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences: Rui Xue
  
  
• Toshiba R+D Center, Japan: Ben Smyth,
  

Contacts

• Eerke Boiten (PI) to join the network or any queries or website updates.
• Join mailing list
• Join friends' mailing list
• Facebook group
• EPSRC grant page