The EPSRC CryptoForma network (1 May 2009 – 1 November 2012, extended to 1 November 2015) built a 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: Eerke Boiten, University of Kent
- Although the project is over, please feel free to request to join the mailing list or international friends’ mailing list.
- Facebook group