“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
Sep 24, 2011. I will be the Publication Chair and a PC member for ISPEC'12.
Sep 11, 2011. My variant of the Internet Key Exchange protocol will appear at ISGT'12.
Aug 8, 2011. My definition of anonymity for Direct Anonymous Attestation schemes will appear at FAST'11.
Jul 4, 2011. My work on a provably secure variant of Helios will appear at ESORICS'11.
Apr 20, 2011. My thesis is now available.
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.
Organiser: Birmingham's Formal Verification and Security Group (Seminar Series Organiser, 2008-2010), and ICICS'08 (Organiser & Editorial Board).
Programme Committee Memberships: ISPEC'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