International Association
for Cryptologic Research

Based in the Cryptography group within the Department of Computer Science which has grown considerably in the last year. We are particularly interested in applicants with a background in one of the following areas:

• Analysis of “real world” protocols

• Formal Methods applied to security protocols

• Fully Homomorphic Encryption

• Lattice Based Cryptography

• Multi-Party Computation

• Provable Security, i.e. Protocol and Mechanism design

The post is funded by an ERC Advanced Grant awarded to Professor Nigel Smart.