Ben Smyth
Bio
From October 2006 to September 2010 I was a Doctoral Researcher at the University of Birmingham supervised by Professor Mark Ryan. My thesis Formal verification of cryptographic protocols with automated reasoning focuses on the application of formal methods to automatically analyse security protocols with a particular emphasis on electronic voting and trusted computing. This work was funded by the Engineering and Physical Sciences Research Council (EPSRC) under the WINES initiative as part of the UbiVal project. Some publications.
Today I lead a group of four startups: tlfs protects secrets inside the cloud, x70 provides hardware-based identity, WebDesktop runs backoffices, and VoteTech manages elections.