Cryptography and Information Security
The Cryptography and Information Security Group conducts research into cryptography, the underlying hard problems on which it is based, and the hardware and software needed to implement secure systems.
The group has a particular interest in techniques for proving security of cryptographic systems, the efficient implementation of such systems on small computing devices, and the verification that such implementations do what they say they do. We also have an interest in security auditing and computer forensics.
Our members are responsible for the teaching of all Information Security units across the University.
Download our group reports
We have a number of open post-doctoral positions in diverse areas of cryptography:
- practical applications of Multi-Party Computation;
- theoretical aspects of Multi-Party Computation and other forms of Computing on Encrypted Data;
- evaluation of cryptographic implementations and devices;
- design and implementation of secure cryptography;
- development of tools/compilers to help improve implementation of cryptography.
The following companies and organisations help in our research via sponsorshop, collaboration on projects, or donation of equipment and software: