© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Programming Languages and Systems: CryptoForma
Formal Methods and Cryptography
Homepage: http://www.cryptoforma.org.uk/ |
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:
Engineering and Physical Sciences Research Council |