Voting is one of the most important acts through which a community can make a collective decision. In recent years, many works have focused on improving traditional voting mechanisms and, as a result, a wide range of electronic voting (e-Voting) systems have been proposed. Even though some approaches have achieved a proper level of usability, the main challenges of e-Voting are essentially still open: protect the privacy of participants, guarantee secrecy, anonymity, integrity, uniqueness, and authenticity of votes, while making e-Voting as trustful as voting. In order to address this issue, we present SecureBallot, a secure open-source e-Voting system that completely decouples the voter identification and voting phases by means of proven cryptographic technologies. The effectiveness of SecureBallot is demonstrated both theoretically, by presenting a formal verification of the whole protocol and assessing the security properties of its software components, and practically, by proposing a case study of university elections that contains all the challenges of a generic voting process.
Agate V., De Paola A., Ferraro P., Lo Re G., & Morana M. (2021). SecureBallot: A secure open source e-Voting system. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 191 [10.1016/j.jnca.2021.103165].
Data di pubblicazione: | 2021-10 | |
Titolo: | SecureBallot: A secure open source e-Voting system | |
Autori: | ||
Citazione: | Agate V., De Paola A., Ferraro P., Lo Re G., & Morana M. (2021). SecureBallot: A secure open source e-Voting system. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 191 [10.1016/j.jnca.2021.103165]. | |
Rivista: | ||
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.jnca.2021.103165 | |
Abstract: | Voting is one of the most important acts through which a community can make a collective decision. In recent years, many works have focused on improving traditional voting mechanisms and, as a result, a wide range of electronic voting (e-Voting) systems have been proposed. Even though some approaches have achieved a proper level of usability, the main challenges of e-Voting are essentially still open: protect the privacy of participants, guarantee secrecy, anonymity, integrity, uniqueness, and authenticity of votes, while making e-Voting as trustful as voting. In order to address this issue, we present SecureBallot, a secure open-source e-Voting system that completely decouples the voter identification and voting phases by means of proven cryptographic technologies. The effectiveness of SecureBallot is demonstrated both theoretically, by presenting a formal verification of the whole protocol and assessing the security properties of its software components, and practically, by proposing a case study of university elections that contains all the challenges of a generic voting process. | |
Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni | |
Appare nelle tipologie: | 1.01 Articolo in rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
1-s2.0-S1084804521001776-main.pdf | Articolo principale | Versione Editoriale | Administrator Richiedi una copia |