School of Computing

Programming Languages and Systems: CryptoForma

Formal Methods and Cryptography

CryptoForma logo

 

Homepage: http://www.cryptoforma.org.uk/
Support: EPSRC (EP/G069875/1) £73,820
Total funding: £73,820

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.

People:

Publications:

(no publications recorded for this project)

Project support:

EPSRC

Engineering and Physical Sciences Research Council
Refs.: EP/G069875/1

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 28/06/2013