Ben Smyth

Cited by

	All	Since 2020
Citations	2552	1005
h-index	22	14
i10-index	35	20

240

120

180

2008200920102011201220132014201520162017201820192020202120222023202420259 30 33 74 95 117 134 199 135 231 207 222 205 234 179 176 171 40

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 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
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Feng HaoProfessor of Security Engineering, Department of Computer Science, University of WarwickVerified email at warwick.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Olivier PereiraUCLouvainVerified email at uclouvain.be
Yuichi KomanoChiba Institute of TechnologyVerified email at ruri.waseda.jp
Alfredo PirontiIOActiveVerified email at inria.fr
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	658*	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	274	2010
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth Journal of Computer Security 21 (1), 89-148, 2013	246	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	128	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	123	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, 2011	117	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	94	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	83	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	58	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	58	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	55*	2013
Election Verifiability: Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ B Smyth, S Frink, MR Clarkson	50*	2017
Ballot secrecy and ballot independence coincide B Smyth, D Bernhard European Symposium on Research in Computer Security, 463-480, 2013	46*	2013
Formal verification of cryptographic protocols with automated reasoning B Smyth PhD thesis, School of Computer Science, University of Birmingham, 2011	44	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
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	33	2018
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios B Smyth Journal of Computer Security, 1-61, 2021	32*	2021
Authentication device, output device, verification device and input device B Smyth, Y Hanatani, H Muratani US Patent 9,509,492, 2016	25	2016
Automatically Checking Commitment Protocols in ProVerif without False Attacks T Chothia, B Smyth, C Staite	24	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