Abstract The implantation of Remote Electronic Voting (REV) systems to Electoral Processes is happening at a slower pace than anticipated. One of the relevant factors explaining that reality is the lack of studies about the Cryptographic Schemes and Primitives applied to the existing REV solutions. In this paper, the authors review the main cryptographic schemes applied to date, as well as the most relevant Post Quantum research in the field. The aim is twofold: contribute to clarify the strengths and weaknesses of each scheme as well as expose the remaining challenges, as a necessary step towards a broader introduction of REV solutions in binding elections.
Abstract The implantation of Remote Electronic Voting (REV) systems to Electoral Processes is happening at a slower pace than anticipated. One of the relevant factors explaining that reality is the lack of studies about the Cryptographic Schemes and Primitives applied to the existing REV solutions. In this paper, the authors review the main cryptographic schemes applied to date, as well as the most relevant Post Quantum research in the field. The aim is twofold: contribute to clarify the strengths and weaknesses of each scheme as well as expose the remaining challenges, as a necessary step towards a broader introduction of REV solutions in binding elections.
Developments in quantum computing may jeopardize the security of internet voting. Such developments could compromise important electoral requirements, including integrity, eligibility, or the secrecy of the vote. Even the contents of a vote cast online today, when quantum computers are not yet known to be available, could be revealed tomorrow. Countries are already working on a post-quantum setting, but elections seem to remain an exception. In this paper, we explore the existing strategies to mitigate the quantum threat or their lack thereof, as well as the views of different stakeholders on these matters. To do so, we have conducted a mix of desk research as well as interviews with 24 experts in different fields, from electoral administrations to cybersecurity agencies, vendors, and academia. We assess their perceptions about quantum computing, its impact on internet voting, and on transitioning towards quantum-resistant cryptography, as well as on interagency cooperation and trust issues. Whereas we initially assumed that elections were an exception in regards to the transition towards post-quantum cryptography, this research shows that the electoral field is neither alone nor the most adequate one to start the implementation of this kind of cryptography.
Ensuring the security and integrity of voting systems is crucial for maintaining democratic processes. With the rise of cyber threats targeting electronic voting, traditional cryptographic methods are proving inadequate in safeguarding against sophisticated attacks. Quantum cryptography, particularly Quantum Key Distribution (QKD), offers a promising solution to enhance the security of voting systems by leveraging the principles of quantum mechanics. This research explores the application of quantum cryptography in secure voting, highlighting its potential to address vulnerabilities in current systems. The study examines the technological, practical, and legal challenges of implementing quantum-based voting systems, including infrastructure requirements and public acceptance. Furthermore, it assesses how quantum cryptography ensures voter privacy, prevents tampering, and provides robust protection against future quantum computing threats. While significant hurdles remain, the integration of quantum cryptographic techniques presents a transformative opportunity to create more secure and transparent voting processes. This paper outlines the roadmap for adopting quantum cryptography in voting systems and its potential impact on electoral integrity.
Recent advances at Google, IBM, as well as a number of research groups indicate that quantum computers will soon be reality. Motivated by the ever more realistic threat quantum computers pose to existing classical cryptographic protocols, researchers have developed several schemes to resist "quantum attacks". In particular, for electronic voting, several e-voting schemes relying on properties of quantum mechanics have been proposed. However, each of these proposals comes with a different and often not well-articulated corruption model, has different objectives, and is accompanied by security claims which are never formalized and are at best justified only against specific attacks. In this paper, we systematize and evaluate the security of suggested e-voting protocols based on quantum technology. We examine the claims of these works concerning privacy, correctness and verifiability, and if they are correctly attributed to the proposed protocols. In all non-trivial cases, we identified specific quantum attacks that violate these properties. We argue that the cause of these failures lies in the absence of formal security models and in a more general lack of reference to the existing cryptographic literature.
This thesis explores the impact of quantum computing on the security of e-voting, using Estonia’s e-voting system as a case study. Chapters 1 and 2 provide insight into the development of quantum computing and why this threatens contemporary cryptography. Chapter 3 reviews the current e-voting protocol used in Estonia. Chapter 4 considers the challenges and urgency of migrating to post quantum e-voting. Then, chapters 5 and 6 explore potential quantum safe alternatives to contemporary cryptography, in particular exploring the use of lattice based hard problems. Chapters 7 and 8 provide insight into proposed post quantum solutions specific to e-voting and the current challenges faced with their implementations.
Recent advances indicate that quantum computers will soon be reality. Motivated by this ever more realistic threat for existing classical cryptographic protocols, researchers have developed several schemes to resist “quantum attacks.” In particular, for electronic voting (e-voting), several schemes relying on properties of quantum mechanics have been proposed. However, each of these proposals comes with a different and often not well-articulated corruption model, has different objectives, and is accompanied by security claims that are never formalized and are at best justified only against specific attacks. To address this, we propose the first formal security definitions for quantum e-voting protocols. With these at hand, we systematize and evaluate the security of previously proposed quantum e-voting protocols; we examine the claims of these works concerning privacy, correctness, and verifiability, and if they are correctly attributed to the proposed protocols. In all non-trivial cases, we identify specific quantum attacks that violate these properties. We argue that the cause of these failures lies in the absence of formal security models and references to the existing cryptographic literature.
Quantum voting protocols aim to offer ballot secrecy and publicly verifiable tallies using physical guarantees from quantum mechanics, rather than relying solely on computational hardness. This article surveys whether such quantum voting protocols are practical. We begin by outlining core mathematical ideas such as the superposition principle, the no-cloning theorem, and quantum entanglement. We then define a common system and threat model, identifying key actors, trust assumptions, and security goals. Representative protocol families are reviewed, including entanglement-based schemes with central tallying, self-tallying designs that enable public verification, and authority-minimized approaches that certify untrusted devices through observable correlations. Finally, we evaluate implementation challenges, including loss, noise, device imperfections, scalability, and coercion resistance, and discuss realistic near-term deployment scenarios for small-scale elections.