Nigel Smart work on the interface of public key cryptography and cryptographic protocols. I am interested mainly in looking at how to turn theoretical constructions into practical reality, and how these can then be leveraged to solve real world problems. In the last five years my work has focused around methods to compute on encrypted data; in particular Multi-Party Computation and Fully Homomorphic Encryption. Previously I have worked on key agreement protocols, pairing based cryptography and elliptic curve based cryptography.