Ben Smyth - Google Scholar Citations

Geciteerd door

	Alles	Sinds 2015
Citaties	1479	994
h-index	16	16
i10-index	26	24

260

130

195

20082009201020112012201320142015201620172018201920208 23 26 77 85 116 128 178 125 241 210 193 41

Medeauteurs

Mark D. RyanProfessor of Computer Security, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Bruno BlanchetSenior researcher, INRIA ParisGeverifieerd e-mailadres voor inria.fr
Vincent ChevalInria Nancy, LORIA, FranceGeverifieerd e-mailadres voor inria.fr
Véronique CortierCNRS, LORIAGeverifieerd e-mailadres voor loria.fr
Elizabeth QuagliaSenior Lecturer, Royal Holloway, University of LondonGeverifieerd e-mailadres voor rhul.ac.uk
Steve KremerInriaGeverifieerd e-mailadres voor inria.fr
Liqun ChenProfessor, University of Surrey, UKGeverifieerd e-mailadres voor surrey.ac.uk
Steven FrinkPh.D. student, Cornell UniversityGeverifieerd e-mailadres voor cs.cornell.edu
Michael ClarksonLecturer in Computer Science, Cornell UniversityGeverifieerd e-mailadres voor cornell.edu
Bogdan WarinschiUniversity of BristolGeverifieerd e-mailadres voor cs.bris.ac.uk
Olivier PereiraICTEAM, EPL, Université catholique de LouvainGeverifieerd e-mailadres voor uclouvain.be
Stéphanie DelauneUniv Rennes, CNRS, IRISAGeverifieerd e-mailadres voor irisa.fr
Tom ChothiaUniversity of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Feng HaoProfessor of Security Engineering, Department of Computer Science, University of WarwickGeverifieerd e-mailadres voor warwick.ac.uk
Peter RyanProfessor of applied security, university of luxembourgGeverifieerd e-mailadres voor uni.lu
Alfredo PirontiINRIA, FranceGeverifieerd e-mailadres voor inria.fr
Joeri de RuiterResearch engineer at SIDN LabsGeverifieerd e-mailadres voor sidn.nl
Georgios PaschosSr Manager, Research Science, AmazonGeverifieerd e-mailadres voor amazon.lu
Jérémie LeguayHuawei TechnologiesGeverifieerd e-mailadres voor huawei.com
Adam McCarthyMGH & BWH Center for Clinical Data ScienceGeverifieerd e-mailadres voor adammccarthy.co.uk

Ben Smyth

Crypto Stream Ltd

Geverifieerd e-mailadres voor bensmyth.com - Homepage

Computer Security Cryptographic Protocols Provable Security Automated Reasoning Privacy & Verifiability


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
ProVerif 2.00: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre	290*	2018
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	188	2010
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth Journal of Computer Security 21 (1), 89-148, 2013	168	2013
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth 24th Computer Security Foundations Symposium, 297-311, 2011	168	2011
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	83	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, 2011	81	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	79	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	73	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	48	2010
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	40	2012
Formal verification of cryptographic protocols with automated reasoning B Smyth PhD thesis, School of Computer Science, University of Birmingham, 2011	37	2011
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	36	2013
Automated reasoning for equivalences in the applied pi calculus with barriers B Blanchet, B Smyth Journal of Computer Security 26 (3), 367-422, 2018	34	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	34	2016
Ballot secrecy and ballot independence coincide B Smyth, D Bernhard European Symposium on Research in Computer Security, 463-480, 2013	33*	2013
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	32	2012
Election Verifiability: Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ B Smyth, S Frink, MR Clarkson	31*	2017
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios B Smyth Cryptology ePrint Archive, Report 2015/942, 2018	17*	2018
Ballot secrecy with malicious bulletin boards B Smyth, D Bernhard Cryptology ePrint Archive, Report 2014/822, 2014	16*	2014
Replay attacks that violate ballot secrecy in Helios B Smyth Cryptology ePrint Archive, Report 2012/185, 2012	16	2012

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs