Ben Smyth

Geciteerd door

	Alles	Sinds 2016
Citaties	1762	1047
h-index	18	16
i10-index	31	28

260

130

195

200820092010201120122013201420152016201720182019202020218 29 27 87 90 120 129 182 133 259 232 200 202 20

Medeauteurs

Mark D. RyanProfessor of Computer Security, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Vincent ChevalInria Nancy, LORIA, FranceGeverifieerd e-mailadres voor inria.fr
Bruno BlanchetSenior researcher, INRIA ParisGeverifieerd e-mailadres voor inria.fr
Elizabeth QuagliaSenior Lecturer, Royal Holloway, University of LondonGeverifieerd e-mailadres voor rhul.ac.uk
Véronique CortierCNRS, LORIAGeverifieerd e-mailadres voor loria.fr
Steve KremerInriaGeverifieerd e-mailadres voor inria.fr
Liqun ChenProfessor, University of Surrey, UKGeverifieerd e-mailadres voor surrey.ac.uk
Stéphanie DelauneUniv Rennes, CNRS, IRISAGeverifieerd e-mailadres voor irisa.fr
Steven FrinkPh.D. student, Cornell UniversityGeverifieerd e-mailadres voor cs.cornell.edu
Michael ClarksonLecturer in Computer Science, Cornell UniversityGeverifieerd e-mailadres voor cornell.edu
Alfredo PirontiINRIA, FranceGeverifieerd e-mailadres voor inria.fr
Bogdan WarinschiUniversity of BristolGeverifieerd e-mailadres voor cs.bris.ac.uk
Olivier PereiraICTEAM, EPL, Université catholique de LouvainGeverifieerd e-mailadres voor uclouvain.be
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
Yuichi KomanoToshiba corporationGeverifieerd e-mailadres voor ruri.waseda.jp
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

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.02 pl1: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre	363*	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	216	2010
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth Journal of Computer Security 21 (1), 89-148, 2013	182	2013
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth 24th Computer Security Foundations Symposium, 297-311, 2011	182	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	93	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	90	2008
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, 2011	87	2011
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	81	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	61	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	53	2012
Automated reasoning for equivalences in the applied pi calculus with barriers B Blanchet, B Smyth Journal of Computer Security 26 (3), 367-422, 2018	42	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	42	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	42*	2013
Formal verification of cryptographic protocols with automated reasoning B Smyth PhD thesis, School of Computer Science, University of Birmingham, 2011	42	2011
Election Verifiability: Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ B Smyth, S Frink, MR Clarkson	38*	2017
Ballot secrecy and ballot independence coincide B Smyth, D Bernhard European Symposium on Research in Computer Security, 463-480, 2013	36*	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	35	2012
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios B Smyth Cryptology ePrint Archive, Report 2015/942, 2018	20*	2018
Ballot secrecy with malicious bulletin boards B Smyth, D Bernhard Cryptology ePrint Archive, Report 2014/822, 2014	18*	2014
Replay attacks that violate ballot secrecy in Helios B Smyth Cryptology ePrint Archive, Report 2012/185, 2012	18	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