Ben Smyth

Cited by

	All	Since 2019
Citations	2436	1110
h-index	22	16
i10-index	35	23

240

120

180

200820092010201120122013201420152016201720182019202020212022202320249 29 32 68 112 116 141 197 134 228 207 222 194 220 174 174 125

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
Elizabeth QuagliaReader, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Steve KremerInriaVerified email at inria.fr
Véronique CortierCNRS, LORIAVerified email at loria.fr
Liqun ChenProfessor, University of Surrey, UKVerified email at surrey.ac.uk
Yoshikazu HanataniToshiba corporationVerified email at toshiba.co.jp
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerified email at cornell.edu
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Steven FrinkPh.D. student, Cornell UniversityVerified email at cs.cornell.edu
Feng HaoProfessor of Security Engineering, Department of Computer Science, University of WarwickVerified email at warwick.ac.uk
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Olivier PereiraUCLouvainVerified email at uclouvain.be
Alfredo PirontiINRIA, FranceVerified email at inria.fr
Yuichi KomanoChiba Institute of TechnologyVerified email at ruri.waseda.jp
Joeri de RuiterSpecialist security and privacy at SURFVerified email at surf.nl
Georgios PaschosDirector, Research Science, AmazonVerified email at amazon.lu

Ben Smyth

Founder-CEO, x26.io

Verified email at bensmyth.com - Homepage

Deep Tech Secure Communications Digital Identity Security by Design Confidentiality


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ProVerif 2.02 pl1: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre	596*	2020
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth 15th European Symposium on Research in Computer Security (ESORICS'10), 389-404, 2010	261	2010
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth Journal of Computer Security 21 (1), 89-148, 2013	236	2013
A Fair and Robust Voting System by Broadcast D Khader, B Smyth, PYA Ryan, F Hao 5th International Conference on Electronic Voting (EVOTE'12), 285-299, 2012	125	2012
Adapting Helios for provable ballot privacy D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi 16th European Symposium on Research in Computer Security (ESORICS'11), 335-354, 2011	119	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, 2011	110	2011
Automatic verification of privacy properties in the applied pi calculus S Delaune, M Ryan, B Smyth 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and …, 2008	97	2008
Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators B Smyth, M Ryan, L Chen 4th European Workshop on Security and Privacy in Ad hoc and Sensor Networks …, 2007	85	2007
Towards automatic analysis of election verifiability properties B Smyth, M Ryan, S Kremer, M Kourjieh Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2010	70	2010
Automated reasoning for equivalences in the applied pi calculus with barriers B Blanchet, B Smyth Journal of Computer Security 26 (3), 367-422, 2018	56	2018
Automated reasoning for equivalences in the applied pi calculus with barriers B Blanchet, B Smyth 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 310-324, 2016	56	2016
Truncating TLS Connections to Violate Beliefs in Web Applications B Smyth, A Pironti WOOT'13: 7th USENIX Workshop on Offensive Technologies.(First appeared at …, 2013	54*	2013
Election Verifiability: Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ B Smyth, S Frink, MR Clarkson	48*	2017
Ballot secrecy and ballot independence coincide B Smyth, D Bernhard European Symposium on Research in Computer Security, 463-480, 2013	45*	2013
Formal verification of cryptographic protocols with automated reasoning B Smyth PhD thesis, School of Computer Science, University of Birmingham, 2011	45	2011
Secure authenticated key exchange with revocation for smart grid F Zhao, Y Hanatani, Y Komano, B Smyth, S Ito, T Kambayashi 2012 IEEE PES Innovative Smart Grid Technologies (ISGT), 1-8, 2012	36	2012
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios B Smyth Journal of Computer Security, 1-61, 2021	30*	2021
Modelling and analysis of a hierarchy of distance bounding attacks T Chothia, J De Ruiter, B Smyth 27th {USENIX} Security Symposium ({USENIX} Security 18), 1563-1580, 2018	30	2018
Authentication device, output device, verification device and input device B Smyth, Y Hanatani, H Muratani US Patent 9,509,492, 2016	23	2016
Formal analysis of privacy in Direct Anonymous Attestation schemes B Smyth, MD Ryan, L Chen Science of Computer Programming 111, 300-317, 2015	23	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors