Ben Smyth

Ben Smyth


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. You can learn more in Forget Me Do's press release Forget Me Do deletes Facebook content for your privacy or in my white paper Forget Me Do: Empowering user privacy on social network sites.

More recently, I founded Crypto Stream to build secure systems.

Current URLs: Ben Smyth, Crypto Stream, Forget Me Do, and Verified IO dot com.