Ben Smyth is a postdoctoral researcher at INRIA, Paris, France. He is interested in the verification of cryptographic protocols and broadly focuses on the following complimentary topics: developing procedures for the evaluation of security properties and, specifying and analysing properties of protocols. His analysis has lead to the discovery of attacks against: the Direct Anonymous Attestation scheme proposed by HP, IBM and Intel in the context of trusted computing; the Helios electronic voting protocol; and the online banking systems offered by the Lloyds Banking Group (including Bank of Scotland & Halifax), the Royal Bank of Scotland Group (including Natwest, Royal Bank of Scotland & Ulster bank) and Barclays.