Ben Smyth

Sitert av

	Alle	Siden 2020
Sitater	2546	998
h-indeks	22	14
i10-indeks	35	20

240

120

180

2008200920102011201220132014201520162017201820192020202120222023202420259 30 33 69 102 117 134 199 134 232 207 222 205 234 179 176 170 34

Offentlig tilgang

Vis alle

10 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Mark D. RyanProfessor of Computer Security, University of BirminghamVerifisert e-postadresse på bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerifisert e-postadresse på cs.ox.ac.uk
Bruno BlanchetSenior researcher, INRIA, ParisVerifisert e-postadresse på inria.fr
Elizabeth QuagliaReader, Royal Holloway, University of LondonVerifisert e-postadresse på rhul.ac.uk
Steve KremerInriaVerifisert e-postadresse på inria.fr
Véronique CortierCNRS, LORIAVerifisert e-postadresse på loria.fr
Liqun ChenProfessor, University of Surrey, UKVerifisert e-postadresse på surrey.ac.uk
Yoshikazu HanataniToshiba corporationVerifisert e-postadresse på toshiba.co.jp
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerifisert e-postadresse på irisa.fr
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerifisert e-postadresse på cornell.edu
Peter RyanProfessor of applied security, university of luxembourgVerifisert e-postadresse på uni.lu
Steven FrinkPh.D. student, Cornell UniversityVerifisert e-postadresse på cs.cornell.edu
Tom ChothiaUniversity of BirminghamVerifisert e-postadresse på cs.bham.ac.uk
Feng HaoProfessor of Security Engineering, Department of Computer Science, University of WarwickVerifisert e-postadresse på warwick.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityVerifisert e-postadresse på cs.bris.ac.uk
Olivier PereiraUCLouvainVerifisert e-postadresse på uclouvain.be
Yuichi KomanoChiba Institute of TechnologyVerifisert e-postadresse på ruri.waseda.jp
Alfredo PirontiIOActiveVerifisert e-postadresse på inria.fr
Joeri de RuiterSpecialist security and privacy at SURFVerifisert e-postadresse på surf.nl
Georgios PaschosDirector, Research Science, AmazonVerifisert e-postadresse på amazon.lu

Følg

Ben Smyth

Founder-CEO, x26.io

Verifisert e-postadresse på bensmyth.com - Startside

Deep Tech Secure Communications Digital Identity Security by Design Confidentiality


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
ProVerif 2.02 pl1: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre	653*	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	273	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	127	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	37	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

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere