© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
|
|||
|
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 |