Participants at the March 2012 meeting, Edinburgh (picture by Murat Moran)
The EPSRC CryptoForma network (1 May 2009 – 1 November 2012, extended to 1 November 2015) 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.
- EPSRC grant pages: CryptoForma,
CryptoForma 2 - Principal investigator: , University of Kent
- Request to join the or .
- avatrade etf review
