Bio
From October 2006 to September 2010 I was a Doctoral Researcher at the University of Birmingham supervised by Professor Mark Ryan. My thesis Formal verification of cryptographic protocols with automated reasoning focuses on the application of formal methods to automatically analyse security protocols with a particular emphasis on electronic voting and trusted computing. This work was funded by the Engineering and Physical Sciences Research Council (EPSRC) under the WINES initiative as part of the UbiVal project; and an internship at École Normale Supérieure was funded by the Direction Générale pour l'Armement (DGA).