Black Hat USA Registration Black Hat USA Registration Black Hat USA Briefings Black Hat USA Briefings Black Hat USA Training Black Hat USA Training Black Hat USA Schedule Black Hat USA Schedule Black Hat USA Sponsors Black Hat USA Sponsors Black Hat  USA Special Events Black Hat  USA Special Events Black Hat USA Venue Black Hat USA Venue
 
 

Speakers

Ben Smyth

Ben Smyth

 

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.



Sessions with this speaker