[1] His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper, and concurrency.
[1] He undertook a DPhil at St Hugh's College, Oxford,[5] writing a thesis titled Probabilities and Priorities in Timed CSP.
[9] His research interests have included computer security, for which he developed the cryptographic protocol analysis tool Casper.
[10] This tool translates a security protocol description into CSP, which is then processed by the FDR refinement checker.
[13][14] Along with Peter Millican, he is responsible for the development and establishment of a new joint degree in Computer Science and Philosophy at the University of Oxford in 2012.