Ben Smyth

“Someday there'll be a cure for pain; that's the day I throw my shoes away.” - Dean Karnazes

News

Jun 11, 2015. My NM-CPA secure encryption with proofs of plaintext knowledge will appear in IWSEC.
Apr 13, 2015. My anonymity definition for DAA and attack against the RSA-based scheme will appear in SCP.
Mar 20, 2015. I am a member of the SSR'15 Program Committee.
Jan 26, 2015. My secrecy analysis technique using ProVerif phases will appear at POST'15.
Dec 20, 2014. I am a member of the FiCloud'15 Program Committee.
More news

New position

I now lead the security team at Huawei's French Research Center.

History

I was a Doctoral Researcher (October 2006 to September 2010) working on the EPSRC UbiVal project at the University of Birmingham, UK, under the supervision of Mark Ryan. My thesis Formal verification of cryptographic protocols with automated reasoning focused on the application of formal methods to the automated analysis of security protocols with a particular emphasis on electronic voting schemes and the Direct Anonymous Attestation (DAA) trusted computing protocol. During my doctoral research, I spent five months at École Normale Supérieure for an internship, under the supervision of Bruno Blanchet with funding from the Direction générale de l'armement. In addition, I was a postdoctoral researcher working on the ERC ProSecure project and ANR AVOTÉ project at LORIA in Nancy, France (October 2010 to June 2011) under the supervision of Véronique Cortier; I was a Toshiba Research Fellow (July 2011 to July 2012) at Toshiba's Corporate Research & Development Center in Kawasaki, Japan; I was a postdoctoral researcher (July 2012 to October 2014) working on the ERC CRYSP project at INRIA Paris-Rocquencourt in the Prosecco team based at Place d'Italie, Paris, France; and I am the founder of Forget Me Do.

Professional Activities

Programme Committee Memberships: SSR'15, FiCloud'15, CloudCom'14, FCS-FCC'14, ISPEC'12, TGC'12, ICICS'10, FCS-PrivMod'10, and NDT'09.

Contact

Ben Smyth
Huawei,
Arcs de Seine, Bât. A,
20 Quai du Point du Jour,
92100 Boulogne-Billancourt,
FRANCE