Ben Smyth

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 32

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

Inf. Process. Lett.

Financial Cryptography Workshops

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Aida Manzano Kharman, Ben Smyth
Perils of current DAO governance. CoRR (2024)
Aida Manzano Kharman, Ben Smyth, Freddie Page
Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies. CoRR (2023)
Ben Smyth, Michael R. Clarkson
Surveying definitions of election verifiability. IACR Cryptol. ePrint Arch. 2022 (2022)
Ben Smyth, Michael R. Clarkson
Surveying definitions of election verifiability. Inf. Process. Lett. 177 (2022)
Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth
Cast-as-Intended: A Formal Definition and Case Studies. Financial Cryptography Workshops (2021)
Ben Smyth
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios. J. Comput. Secur. 29 (6) (2021)
Ben Smyth
Surveying global verifiability. Inf. Process. Lett. 163 (2020)
Ben Smyth
Surveying global verifiability. IACR Cryptol. ePrint Arch. 2020 (2020)
Ben Smyth
Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems. IACR Cryptol. ePrint Arch. 2020 (2020)
Ben Smyth, Yoshikazu Hanatani
Non-malleable encryption with proofs of plaintext knowledge and applications to voting. Int. J. Secur. Networks 14 (4) (2019)
Ben Smyth
Surveying definitions of coercion resistance. IACR Cryptol. ePrint Arch. 2019 (2019)
Ben Smyth
Athena: A verifiable, coercion-resistant voting system with linear complexity. IACR Cryptol. ePrint Arch. 2019 (2019)
Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
A critique of game-based definitions of receipt-freeness for voting. IACR Cryptol. ePrint Arch. 2019 (2019)
Ben Smyth, Yoshikazu Hanatani
Non-malleable encryption with proofs of plaintext knowledge and applications to voting. IACR Cryptol. ePrint Arch. 2019 (2019)
Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth
An Overview of GSMA's M2M Remote Provisioning Specification. CoRR (2019)
Ben Smyth
TLS 1.3 for engineers: An exploration of the TLS 1.3 specification and Oracle's Java implementation. CoRR (2019)
Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
A Critique of Game-Based Definitions of Receipt-Freeness for Voting. ProvSec (2019)
Maxime Meyer, Ben Smyth
Exploiting re-voting in the Helios election system. Inf. Process. Lett. 143 (2019)
Elizabeth A. Quaglia, Ben Smyth
Authentication with Weaker Trust Assumptions for Voting Systems. AFRICACRYPT (2018)
Elizabeth A. Quaglia, Ben Smyth
Authentication with weaker trust assumptions for voting systems. IACR Cryptol. ePrint Arch. 2018 (2018)
Ben Smyth
A foundation for secret, verifiable elections. IACR Cryptol. ePrint Arch. 2018 (2018)
Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth
Attacks Against GSMA's M2M Remote Provisioning (Short Paper). Financial Cryptography (2018)
Ben Smyth
Verifiability of Helios Mixnet. Financial Cryptography Workshops (2018)
Elizabeth A. Quaglia, Ben Smyth
Secret, verifiable auctions from elections. Theor. Comput. Sci. 730 (2018)
Bruno Blanchet, Ben Smyth
Automated reasoning for equivalences in the applied pi calculus with barriers. J. Comput. Secur. 26 (3) (2018)
Tom Chothia, Joeri de Ruiter, Ben Smyth
Modelling and Analysis of a Hierarchy of Distance Bounding Attacks. USENIX Security Symposium (2018)
Ben Smyth
Verifiability of Helios Mixnet. IACR Cryptol. ePrint Arch. 2018 (2018)
Jeremie Leguay, Georgios S. Paschos, Elizabeth A. Quaglia, Ben Smyth
CryptoCache: Network caching with confidentiality. ICC (2017)
Elizabeth A. Quaglia, Ben Smyth
A short introduction to secrecy and verifiability for elections. CoRR (2017)
Bruno Blanchet, Ben Smyth
Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers. CSF (2016)
Maxime Meyer, Ben Smyth
An attack against the Helios election system that violates eligibility. CoRR (2016)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
Ben Smyth
Secrecy and independence for election schemes. IACR Cryptol. ePrint Arch. 2015 (2015)
Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani
NM-CPA Secure Encryption with Proofs of Plaintext Knowledge. IWSEC (2015)
Elizabeth A. Quaglia, Ben Smyth
Constructing secret, verifiable auction schemes from election schemes. IACR Cryptol. ePrint Arch. 2015 (2015)
Tom Chothia, Ben Smyth, Christopher Staite
Automatically Checking Commitment Protocols in ProVerif without False Attacks. POST (2015)
Ben Smyth, Steven Frink, Michael R. Clarkson
Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ. IACR Cryptol. ePrint Arch. 2015 (2015)
Ben Smyth, Mark Dermot Ryan, Liqun Chen
Formal analysis of privacy in Direct Anonymous Attestation schemes. Sci. Comput. Program. 111 (2015)
Adam McCarthy, Ben Smyth, Elizabeth A. Quaglia
Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes. Financial Cryptography (2014)
Ben Smyth
Ballot secrecy with malicious bulletin boards. IACR Cryptol. ePrint Arch. 2014 (2014)
Ben Smyth, David Bernhard
Ballot secrecy and ballot independence coincide. IACR Cryptol. ePrint Arch. 2013 (2013)
Ben Smyth, David Bernhard
Ballot Secrecy and Ballot Independence Coincide. ESORICS (2013)
Ben Smyth, Alfredo Pironti
Truncating TLS Connections to Violate Beliefs in Web Applications. WOOT (2013)
Véronique Cortier, Ben Smyth
Attacking and fixing Helios: An analysis of ballot secrecy. J. Comput. Secur. 21 (1) (2013)
Ben Smyth
Replay attacks that violate ballot secrecy in Helios. IACR Cryptol. ePrint Arch. 2012 (2012)
Dalia Khader, Ben Smyth, Peter Y. A. Ryan, Feng Hao
A Fair and Robust Voting System by Broadcast. Electronic Voting (2012)
Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito, Toru Kambayashi
Secure authenticated key exchange with revocation for smart grid. ISGT (2012)
Ben Smyth, Mark Dermot Ryan, Liqun Chen
Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptol. ePrint Arch. 2012 (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for Provable Ballot Privacy. ESORICS (2011)
Véronique Cortier, Ben Smyth
Attacking and Fixing Helios: An Analysis of Ballot Secrecy. CSF (2011)
Ben Smyth, Mark Ryan, Liqun Chen
Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. Formal Aspects in Security and Trust (2011)
Véronique Cortier, Ben Smyth
Attacking and fixing Helios: An analysis of ballot secrecy. IACR Cryptol. ePrint Arch. 2010 (2010)
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS (2010)
Steve Kremer, Mark Ryan, Ben Smyth
Election Verifiability in Electronic Voting Protocols. ESORICS (2010)
Stéphanie Delaune, Mark Ryan, Ben Smyth
Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM (2008)
Ben Smyth, Mark Ryan, Liqun Chen
Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS (2007)

Ben Smyth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ben Smyth