Dr Eerke Boiten, head of the Security Research group and director of the University’s Cyber Security Research Centre, has been awarded £89,000 by EPSRC for the Network of Excellence “CryptoForma“, on the application of formal methods to cryptography.
The aim of the network is to use formal notations, and logic based techniques for modelling and analysing cryptographic primitives, and security protocols based on them. Their applications may be found in electronic voting...
