Ben Smyth

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, EasyCEO runs backoffices, and VoteTech manages elections.

Current URLs: Ben Smyth, Ampersand, tlfs, x70, EasyCEO, VoteTech, and Forget Me Do.