Welcome

Participants at March 2012 meeting

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.