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.

In 2014, I founded Forget Me Do to protect social network site users from privacy harms. More recently, I founded Crypto Stream to build secure systems.

Current URLs: Ben Smyth, Crypto Stream, and Forget Me Do.