News
Aug 13, 2010. With Petr Klus and Mark Ryan I have been working on ProSwapper, an extension to ProVerif to handle a larger class of equivalences, the software will be available shortly.
July 20, 2010. My work on online banking security is now available.
July 9, 2010. A preprint of my forthcoming book chapter on the "applied pi calculus" is now available.
June 28, 2010. My work on "election verifiability" is due to appear at ESORICS'10.
I am a Doctoral Researcher at the University of Birmingham supervised by Professor Mark Ryan. 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; additional funding was provided by the Direction Générale pour l'Armement (DGA) during my recent internship at École Normale Supérieure.