Dan’s research focuses on cryptography with an eye for practice. His work centres on the formal modelling of real-world cryptographic protocols, aiming to provide a mathematical “proof of security”. This work naturally leads to the discovery of attacks against such protocols. In combination, these two avenues of analysis aid in the development of more secure and featureful designs.

Before joining the CDT, Dan studied computer science at the University of Cambridge and completed a master’s in mathematics at Bristol University. He has additionally worked as a software developer in industry.