“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
Apr 14, 2012. I am a member of the TGC'12 Program Committee.
Apr 4, 2012. My further analysis of ballot secrecy in Helios discovers a replay attack.
Mar 30, 2012. My fair and robust variant of OpenVote will appear at EVOTE'12.
Sep 24, 2011. I am the Publication Chair and a member of the Program Committee for ISPEC'12.
Sep 11, 2011. My variant of the Internet Key Exchange protocol will appear at ISGT'12.
More news
I am a Toshiba Research Fellow based at Toshiba's Corporate Research & Development Center in Kawasaki, Japan. 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.
I was a Doctoral Researcher (October 2006 to September 2010) at the University of Birmingham supervised by 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. 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 de l'armement (DGA). In addition, I was a postdoctoral research at LORIA (October 2010 to June 2011) supervised by Véronique Cortier. This research was funded by the European Research Council (ERC) under the ProSecure project and the Agence Nationale de la Recherche (ANR) under the AVOTÉ project.
Programme Committee Memberships: ISPEC'12, TGC'12, ICICS'10, FCS-PrivMod'10, NDT'09.
Ben Smyth
Toshiba R & D Center,
1, Komukai Toshiba-cho,
Saiwai-ku, Kawasaki-shi,
212-8582, Japan