I am a final year Doctoral Researcher at the University of Birmingham supervised by Professor Mark Ryan. At present I am on internship at École Normale Supérieure, Départment d'informatique, Paris working with Bruno Blanchet.
I am interested in Formal Verification and Computer Security. My current research focuses on the application of formal methods to automatically analyse security protocols with a particular emphasis on electronic voting and trusted computing. The objective of this work is to facilitate the design of secure protocols in an efficient and cost effective manner. My approach involves developing tools tailored to the analysis of security properties during the software design process. This research will help avoid the current situation whereby numerous protocols are deployed and subsequently found to be insecure. My research is funded by the Engineering and Physical Sciences Research Council (EPSRC) under the WINES initiative as part of the UbiVal project.