Ben Smyth

According to our database, Ben Smyth authored at least 47 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Perils of current DAO governance.

Aida Manzano Kharman, Ben Smyth

CoRR, 2024

DAO Governance Protocols and their Vulnerabilities.

Aida Manzano Kharman, Ben Smyth

Proceedings of the 6th Conference on Blockchain Research & Applications for Innovative Networks and Services , 2024

2023

Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies.

Aida Manzano Kharman, Ben Smyth, Freddie Page

CoRR, 2023

2022

Surveying definitions of election verifiability.

Ben Smyth, Michael R. Clarkson

Inf. Process. Lett., 2022

2021

Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios.

Ben Smyth

J. Comput. Secur., 2021

Cast-as-Intended: A Formal Definition and Case Studies.

Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

Surveying global verifiability.

Ben Smyth

Inf. Process. Lett., 2020

Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems.

Ben Smyth

IACR Cryptol. ePrint Arch., 2020

2019

Exploiting re-voting in the Helios election system.

Maxime Meyer, Ben Smyth

Inf. Process. Lett., 2019

Non-malleable encryption with proofs of plaintext knowledge and applications to voting.

Ben Smyth, Yoshikazu Hanatani

IACR Cryptol. ePrint Arch., 2019

Surveying definitions of coercion resistance.

Ben Smyth

IACR Cryptol. ePrint Arch., 2019

Athena: A verifiable, coercion-resistant voting system with linear complexity.

Ben Smyth

IACR Cryptol. ePrint Arch., 2019

A critique of game-based definitions of receipt-freeness for voting.

Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth

IACR Cryptol. ePrint Arch., 2019

An Overview of GSMA's M2M Remote Provisioning Specification.

Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth

CoRR, 2019

TLS 1.3 for engineers: An exploration of the TLS 1.3 specification and Oracle's Java implementation.

Ben Smyth

CoRR, 2019

2018

Secret, verifiable auctions from elections.

Elizabeth A. Quaglia, Ben Smyth

Theor. Comput. Sci., 2018

Automated reasoning for equivalences in the applied pi calculus with barriers.

Bruno Blanchet, Ben Smyth

J. Comput. Secur., 2018

A foundation for secret, verifiable elections.

Ben Smyth

IACR Cryptol. ePrint Arch., 2018

Verifiability of Helios Mixnet.

Ben Smyth

IACR Cryptol. ePrint Arch., 2018

Authentication with weaker trust assumptions for voting systems.

Elizabeth A. Quaglia, Ben Smyth

IACR Cryptol. ePrint Arch., 2018

Modelling and Analysis of a Hierarchy of Distance Bounding Attacks.

Tom Chothia, Joeri de Ruiter, Ben Smyth

Proceedings of the 27th USENIX Security Symposium, 2018

Attacks Against GSMA's M2M Remote Provisioning (Short Paper).

Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth

Proceedings of the Financial Cryptography and Data Security, 2018

2017

A short introduction to secrecy and verifiability for elections.

Elizabeth A. Quaglia, Ben Smyth

CoRR, 2017

CryptoCache: Network caching with confidentiality.

Jeremie Leguay, Georgios S. Paschos, Elizabeth A. Quaglia, Ben Smyth

Proceedings of the IEEE International Conference on Communications, 2017

2016

Adapting Helios for provable ballot privacy.

David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

An attack against the Helios election system that violates eligibility.

Maxime Meyer, Ben Smyth

CoRR, 2016

2015

Formal analysis of privacy in Direct Anonymous Attestation schemes.

Ben Smyth, Mark Dermot Ryan, Liqun Chen

Sci. Comput. Program., 2015

Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ.

Ben Smyth, Steven Frink, Michael R. Clarkson

IACR Cryptol. ePrint Arch., 2015

Secrecy and independence for election schemes.

Ben Smyth

IACR Cryptol. ePrint Arch., 2015

Constructing secret, verifiable auction schemes from election schemes.

Elizabeth A. Quaglia, Ben Smyth

IACR Cryptol. ePrint Arch., 2015

Automatically Checking Commitment Protocols in ProVerif without False Attacks.

Tom Chothia, Ben Smyth, Christopher Staite

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

NM-CPA Secure Encryption with Proofs of Plaintext Knowledge.

Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani

Proceedings of the Advances in Information and Computer Security, 2015

2014

Ballot secrecy with malicious bulletin boards.

Ben Smyth

IACR Cryptol. ePrint Arch., 2014

Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes.

Adam McCarthy, Ben Smyth, Elizabeth A. Quaglia

Proceedings of the Financial Cryptography and Data Security, 2014

2013

Attacking and fixing Helios: An analysis of ballot secrecy.

Véronique Cortier, Ben Smyth

J. Comput. Secur., 2013

Ballot secrecy and ballot independence coincide.

Ben Smyth, David Bernhard

IACR Cryptol. ePrint Arch., 2013

Truncating TLS Connections to Violate Beliefs in Web Applications.

Ben Smyth, Alfredo Pironti

Proceedings of the 7th USENIX Workshop on Offensive Technologies, 2013

2012

Replay attacks that violate ballot secrecy in Helios.

Ben Smyth

IACR Cryptol. ePrint Arch., 2012

Secure authenticated key exchange with revocation for smart grid.

Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito, Toru Kambayashi

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

A Fair and Robust Voting System by Broadcast.

Dalia Khader, Ben Smyth, Peter Y. A. Ryan, Feng Hao

Proceedings of the 5th International Conference on Electronic Voting 2012, 2012

2011

Formal verification of cryptographic protocols with automated reasoning.

Ben Smyth

PhD thesis, 2011

Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes.

Ben Smyth, Mark Ryan, Liqun Chen

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Applied pi calculus.

Mark Dermot Ryan, Ben Smyth

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Towards Automatic Analysis of Election Verifiability Properties.

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Election Verifiability in Electronic Voting Protocols.

Steve Kremer, Mark Ryan, Ben Smyth

Proceedings of the Computer Security, 2010

2008

Automatic Verification of Privacy Properties in the Applied pi Calculus.

Stéphanie Delaune, Mark Ryan, Ben Smyth

Proceedings of the Trust Management II, 2008

2007

Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators.

Ben Smyth, Mark Ryan, Liqun Chen

Proceedings of the Security and Privacy in Ad-hoc and Sensor Networks, 2007