“Just as there are many different religions, so there are many methods of self-destruction called training schedules.” - John Disley
“Just as there are many different religions, so there are many methods of self-destruction called training schedules.” - John Disley
May 17, 2013. I will exploit logical flaws to illegitimately vote, control Microsoft accounts, and more at Black Hat.
Apr 4, 2013. My study of the relation between ballot secrecy and ballot independence is available.
Feb 21, 2013. My extended analysis of ballot secrecy in Helios has been published by JCS.
Dec 1, 2012. I am seeking interns to work with me on projects that are aligned with my research interests.
Nov 16, 2012. My anonymity definition for DAA and analysis of the RSA-based scheme is available on ePrint.
More news
I am a postdoctoral researcher at INRIA Paris-Rocquencourt in the Prosecco team based at Place d'Italie, Paris, France. I am interested in Formal Verification and Computer Security. My current research focuses on the application of formal methods for automatic analysis of security protocols. The objective of this work is to facilitate the design of secure protocols in an efficient and cost effective manner. My work 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.
Internships. I am currently seeking PhD, masters and undergraduate students for internships on projects that are aligned with my research interests. Please contact me to discuss this opportunity further
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 research 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 and I was a Toshiba Research Fellow (July 2011 to July 2012) at Toshiba's Corporate Research & Development Center in Kawasaki, Japan.
Programme Committee Memberships: ISPEC'12, TGC'12, ICICS'10, FCS-PrivMod'10, NDT'09.
Ben Smyth
INRIA (Équipe Prosecco),
23 avenue d'Italie,
CS 81321,
75214 Paris Cedex 13,
FRANCE
Telephone: +33 (0) 1 39 63 78 10