Ben Smyth

CoRR, 2024

DAO Governance Protocols and their Vulnerabilities.

[BibT_eX]

[DOI]

Aida Manzano Kharman

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.

[BibT_eX]

[DOI]

Aida Manzano Kharman

Freddie Page

CoRR, 2023

2022

Surveying definitions of election verifiability.

[BibT_eX]

[DOI]

Michael R. Clarkson

Inf. Process. Lett., 2022

2021

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

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

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

[BibT_eX]

[DOI]

Peter B. Rønne

Peter Y. A. Ryan

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

2020

Surveying global verifiability.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2020

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

2019

Exploiting re-voting in the Helios election system.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2019

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

[BibT_eX]

[DOI]

Yoshikazu Hanatani

Int. J. Secur. Networks, 2019

Surveying definitions of coercion resistance.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

An Overview of GSMA's M2M Remote Provisioning Specification.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

A Critique of Game-Based Definitions of Receipt-Freeness for Voting.

[BibT_eX]

[DOI]

Ashley Fraser

Proceedings of the Provable Security, 2019

2018

Secret, verifiable auctions from elections.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

A foundation for secret, verifiable elections.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Modelling and Analysis of a Hierarchy of Distance Bounding Attacks.

[BibT_eX]

[DOI]

Tom Chothia

Joeri de Ruiter

Proceedings of the 27th USENIX Security Symposium, 2018

Verifiability of Helios Mixnet.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2018

Authentication with Weaker Trust Assumptions for Voting Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2018, 2018

2017

A short introduction to secrecy and verifiability for elections.

[BibT_eX]

[DOI]

CoRR, 2017

CryptoCache: Network caching with confidentiality.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2017

2016

An attack against the Helios election system that violates eligibility.

[BibT_eX]

[DOI]

CoRR, 2016

Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers.

[BibT_eX]

[DOI]

Bruno Blanchet

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

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

[BibT_eX]

[DOI]

Steven Frink

Michael R. Clarkson

IACR Cryptol. ePrint Arch., 2015

Secrecy and independence for election schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Constructing secret, verifiable auction schemes from election schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Automatically Checking Commitment Protocols in ProVerif without False Attacks.

[BibT_eX]

[DOI]

Tom Chothia

Christopher Staite

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

NM-CPA Secure Encryption with Proofs of Plaintext Knowledge.

[BibT_eX]

[DOI]

Yoshikazu Hanatani

Hirofumi Muratani

Proceedings of the Advances in Information and Computer Security, 2015

2014

Ballot secrecy with malicious bulletin boards.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

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

[BibT_eX]

[DOI]

Adam McCarthy

Proceedings of the Financial Cryptography and Data Security, 2014

2013

Truncating TLS Connections to Violate Beliefs in Web Applications.

[BibT_eX]

[DOI]

Alfredo Pironti

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

Ballot Secrecy and Ballot Independence Coincide.

[BibT_eX]

[DOI]

David Bernhard

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Formal analysis of privacy in Direct Anonymous Attestation schemes.

[BibT_eX]

[DOI]

Mark Dermot Ryan

Liqun Chen

IACR Cryptol. ePrint Arch., 2012

Replay attacks that violate ballot secrecy in Helios.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Secure authenticated key exchange with revocation for smart grid.

[BibT_eX]

[DOI]

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

A Fair and Robust Voting System by Broadcast.

[BibT_eX]

[DOI]

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

2011

Formal verification of cryptographic protocols with automated reasoning.

[BibT_eX]

[DOI]

PhD thesis, 2011

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

[BibT_eX]

[DOI]

Liqun Chen

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

Adapting Helios for Provable Ballot Privacy.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Attacking and Fixing Helios: An Analysis of Ballot Secrecy.

[BibT_eX]

[DOI]

Véronique Cortier

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Applied pi calculus.

[BibT_eX]

[DOI]

Mark Dermot Ryan

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

2010

Towards Automatic Analysis of Election Verifiability Properties.

[BibT_eX]

[DOI]

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

Election Verifiability in Electronic Voting Protocols.

[BibT_eX]

[DOI]

Steve Kremer

Proceedings of the Computer Security, 2010

2008

Automatic Verification of Privacy Properties in the Applied pi Calculus.

[BibT_eX]

[DOI]

Stéphanie Delaune

Proceedings of the Trust Management II, 2008

2007

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

[BibT_eX]

[DOI]