Ben Smyth

Citeret af

	Alle	Siden 2020
Henvisninger	2528	974
h-index	22	14
i10-indeks	35	20

240

120

180

2008200920102011201220132014201520162017201820192020202120222023202420259 30 31 68 112 115 134 198 144 228 207 224 205 231 177 177 160 24

Offentlig adgang

Se alle

10 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Mark D. RyanProfessor of Computer Security, University of BirminghamVerificeret mail på bham.ac.uk
Vincent ChevalUniversity of Oxford, United KingdomVerificeret mail på cs.ox.ac.uk
Bruno BlanchetSenior researcher, INRIA, ParisVerificeret mail på inria.fr
Elizabeth QuagliaReader, Royal Holloway, University of LondonVerificeret mail på rhul.ac.uk
Steve KremerInriaVerificeret mail på inria.fr
Véronique CortierCNRS, LORIAVerificeret mail på loria.fr
Liqun ChenProfessor, University of Surrey, UKVerificeret mail på surrey.ac.uk
Yoshikazu HanataniToshiba corporationVerificeret mail på toshiba.co.jp
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerificeret mail på irisa.fr
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerificeret mail på cornell.edu
Peter RyanProfessor of applied security, university of luxembourgVerificeret mail på uni.lu
Steven FrinkPh.D. student, Cornell UniversityVerificeret mail på cs.cornell.edu
Feng HaoProfessor of Security Engineering, Department of Computer Science, University of WarwickVerificeret mail på warwick.ac.uk
Tom ChothiaUniversity of BirminghamVerificeret mail på cs.bham.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityVerificeret mail på cs.bris.ac.uk
Olivier PereiraUCLouvainVerificeret mail på uclouvain.be
Yuichi KomanoChiba Institute of TechnologyVerificeret mail på ruri.waseda.jp
Alfredo PirontiIOActiveVerificeret mail på inria.fr
Joeri de RuiterSpecialist security and privacy at SURFVerificeret mail på surf.nl
Georgios PaschosDirector, Research Science, AmazonVerificeret mail på amazon.lu

Følg

Ben Smyth

Founder-CEO, x26.io

Verificeret mail på bensmyth.com - Startside

Deep Tech Secure Communications Digital Identity Security by Design Confidentiality


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
ProVerif 2.02 pl1: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre	643*	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	275	2010
Attacking and fixing Helios: An analysis of ballot secrecy V Cortier, B Smyth Journal of Computer Security 21 (1), 89-148, 2013	243	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	129	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	121	2011
Applied pi calculus MD Ryan, B Smyth Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, 2011	114	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	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	54*	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	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	32*	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	31	2018
Authentication device, output device, verification device and input device B Smyth, Y Hanatani, H Muratani US Patent 9,509,492, 2016	25	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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere