Sort by publication type
See also: Google Scholar, DBLP, AMiner, Microsoft Academic, Semantic Scholar

Drafts

• Elizabeth A. Quaglia & Ben Smyth (2017) A short introduction to secrecy and verifiability for elections. arXiv Technical Report 1702.03168.
• Ben Smyth, Steven Frink & Michael R. Clarkson (2017) Election Verifiability: Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ. Cryptology ePrint Archive Technical Report 2015/233.
• Maxime Meyer & Ben Smyth (2016) An attack against the Helios election system that violates eligibility. arXiv Technical Report 1612.04099.
• Ben Smyth (2016) Secrecy and independence for election schemes. Cryptology ePrint Archive Technical Report 2015/942.
• Elizabeth A. Quaglia & Ben Smyth (2015) Constructing secret, verifiable auction schemes from election schemes. Cryptology ePrint Archive Technical Report 2015/1204.

2017

• Jérémie Leguay, Georgios S. Paschos, Elizabeth A. Quaglia & Ben Smyth (2017) CryptoCache: Network Caching with Confidentiality. In ICC'07: IEEE International Conference on Communications, IEEE Computer Society. To appear

2016

• Bruno Blanchet & Ben Smyth (2016) Automated reasoning for equivalences in the applied pi calculus with barriers. In CSF'16: 29th Computer Security Foundations Symposium, IEEE Computer Society, pp. 310-324.

2015

• Ben Smyth, Yoshikazu Hanatani & Hirofumi Muratani (2015) NM-CPA secure encryption with proofs of plaintext knowledge. In IWSEC'15: 10th International Workshop on Security, LNCS 9241, Springer.
• Ben Smyth, Mark D. Ryan & Liqun Chen (2015) Formal analysis of privacy in Direct Anonymous Attestation schemes. Science of Computer Programming, 111(2).
• Tom Chothia, Ben Smyth & Chris Staite (2015) Automatically Checking Commitment Protocols in ProVerif without False Attacks. In POST'15: 4th Conference on Principles of Security and Trust, LNCS 9036, Springer.

2014

• Adam McCarthy, Ben Smyth & Elizabeth A. Quaglia (2014) Hawk and Aucitas: e-auction schemes from the Helios and Civitas e-voting schemes. In FC'14: 18th International Conference on Financial Cryptography and Data Security, LNCS 8437, Springer.

2013

• Ben Smyth & David Bernhard (2013) Ballot secrecy and ballot independence coincide. In ESORICS'13: 18th European Symposium on Research in Computer Security, LNCS 8134, Springer, pp. 463-480.
• Ben Smyth & Alfredo Pironti (2013) Truncating TLS Connections to Violate Beliefs in Web Applications. In WOOT'13: 7th USENIX Workshop on Offensive Technologies, USENIX Association. (First appeared at Black Hat USA 2013.)
• Véronique Cortier & Ben Smyth (2013) Attacking and fixing Helios: An analysis of ballot secrecy. Journal of Computer Security, 21(1), pp. 89-148.

2012

• Dalia Khader, Ben Smyth, Peter Y. A. Ryan & Feng Hao (2012) A Fair and Robust Voting System by Broadcast. In EVOTE'12: 5th International Conference on Electronic Voting, Lecture Notes in Informatics 205, Gesellschaft für Informatik, pp. 285-299.
• Mark D. Ryan, Ben Smyth & Guilin Wang, editors (2012) Proceedings of the 8th International Conference on Information Security Practice and Experience (ISPEC'12). LNCS 7232, Springer.
• Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito & Toru Kambayashi (2012) Secure Authenticated Key Exchange with Revocation for Smart Grid. In ISGT'12: 3rd IEEE Power & Energy Society Conference on Innovative Smart Grid Technologies, IEEE Computer Society.

2011

• David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth & Bogdan Warinschi (2011) Adapting Helios for provable ballot privacy. In ESORICS'11: 16th European Symposium on Research in Computer Security, LNCS 6879, Springer, pp. 335-354.
• Ben Smyth, Mark D. Ryan & Liqun Chen (2011) Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes. In FAST'11: 8th International Workshop on Formal Aspects of Security and Trust, LNCS 7140, Springer, pp. 245-262.
• Véronique Cortier & Ben Smyth (2011) Attacking and fixing Helios: An analysis of ballot secrecy. In CSF'11: 24th Computer Security Foundations Symposium, IEEE Computer Society, pp. 297-311.
• Mark D. Ryan & Ben Smyth (2011) Applied pi calculus. Chapter in Véronique Cortier & Steve Kremer (editors) Formal Models and Techniques for Analyzing Security Protocols, IOS Press.
• Ben Smyth (2011) Formal verification of cryptographic protocols with automated reasoning. PhD thesis, School of Computer Science, University of Birmingham.

2010

• Steve Kremer, Mark D. Ryan & Ben Smyth (2010) Election verifiability in electronic voting protocols. In ESORICS'10: 15th European Symposium on Research in Computer Security, LNCS 6345, Springer, pp. 389-404.
• Ben Smyth, Mark D. Ryan, Steve Kremer & Mounira Kourjieh (2010) Towards automatic analysis of election verifiability properties. In ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, LNCS 6186, Springer, pp. 165-182.

2008

• Stéphanie Delaune, Mark D. Ryan & Ben Smyth (2008) Automatic verification of privacy properties in the applied pi-calculus. In IFIPTM'08: 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security, International Federation for Information Processing (IFIP) 263, Springer, pp. 263-278.

2007

• Ben Smyth, Mark D. Ryan & Liqun Chen (2007) Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators. In ESAS'07: 4th European Workshop on Security and Privacy in Ad hoc and Sensor Networks, LNCS 4572, Springer, pp. 218-231.

Miscellaneous

• Ben Smyth (2017) Voting system properties. Technical Report .
• Bruno Blanchet, Ben Smyth, Vincent Cheval & Marc Sylvestre (2016) ProVerif 1.96: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Originally appeared as Bruno Blanchet and Ben Smyth (2011) ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial.
• Ben Smyth & Alfredo Pironti (2015) Truncating TLS Connections to Violate Beliefs in Web Applications. INRIA Technical Report hal-01102013.
• Ben Smyth (2014) Forget Me Do: Empowering user privacy on social network sites. Forget Me Do Limited Technical Report 2014/10.
• David Bernhard & Ben Smyth (2014) Ballot secrecy with malicious bulletin boards. Cryptology ePrint Archive Technical Report 2014/822.
• Ben Smyth & David Bernhard (2014) Ballot secrecy and ballot independence: definitions and relations. Cryptology ePrint Archive Technical Report 2013/235.
• Ben Smyth, Yoshikazu Hanatani & Hirofumi Muratani (2014) Authentication Device, Output Device, Verification Device and Input Device. US Patent 2014/0334622.
• Ben Smyth (2012) Replay attacks that violate ballot secrecy in Helios. Cryptology ePrint Archive Technical Report 2012/185.
• Hirofumi Muratani, Tomoko Yonemura, Yoshikazu Hanatani & Ben Smyth (2012) Complexity Improvements on Biclique Cryptanalysis of AES: Detailed Evaluation of Overlapped Bicliques. Toshiba Technical Report RM-57360.
• Hirofumi Muratani, Tomoko Yonemura, Yoshikazu Hanatani & Ben Smyth (2012) Complexity Improvements on Biclique Cryptanalysis of AES. In SCIS'12: 29th Symposium on Cryptography and Information Security.
• Ben Smyth (2012) A preliminary symbolic analysis of an IKE variant by Toshiba. In SCIS'12: 29th Symposium on Cryptography and Information Security.
• Bruno Blanchet, Ben Smyth & Vincent Cheval (2012) ProVerif 1.87 beta: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Originally appeared as Bruno Blanchet and Ben Smyth (2011) ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial.
• Ben Smyth (2011) Attacking and fixing a variant of IKE. Toshiba Technical Report RM-56708.
• Ben Smyth & Véronique Cortier (2011) A note on replay attacks that violate privacy in electronic voting schemes. INRIA Technical Report RR-7643.
• Ben Smyth (2011) DFITS fails for incomplete security policies. Toshiba Technical Report RM-57296.
• Bruno Blanchet & Ben Smyth (2011) ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial.
• Lauren Thompson & Ben Smyth (2010) Five ways to stay safe when using iTunes. Times Podcast.
• Ben Smyth (2010) Forgotten your responsibilities? How password recovery threatens banking security. School of Computer Science Technical Report CSR-10-13, University of Birmingham.
• Ben Smyth & Chris Smith (2010) Exploiting Natwest and RBS online banking systems for profit. School of Computer Science Technical Report CSR-10-11, University of Birmingham.
• Ben Smyth (2010) Privacy vs. Usability: A failure of Barclays online banking?. School of Computer Science Technical Report CSR-10-05, University of Birmingham.