Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

Marwa Chaieb , Souheib Yousfi , Pascal Lafourcade (1) , Riadh Robbana (2)

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
2 INSAT Carthage - Institut National des Sciences Appliquées et de Technologie - Carthage

Blockchain provides the possibility to design new types of applications and systems that allow their users to store data in a secure and transparent way. In this paper, we design a fully verifiable online electronic voting protocol using a blockchain. Our e-voting protocol, called VYV for Verify-Your-Vote, involves cryptographic primitives based on Elliptic-Curve Cryptography (ECC), pairings and Identity Based Encryption (IBE). It ensures the following privacy and security properties: only eligible voter can vote, authentication of the voter, vote privacy, receipt-freeness, fairness, individual and universal verifiability. Furthermore , we formally prove the security of our protocol, using ProVerif tool.

Mots clés: Online e-voting; Blockchain; Elliptic Curve Cryptography; ProVerif; Verifiability

Domaines: Cryptographie et sécurité [cs.CR]

Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana. Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol. 15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus. ⟨hal-01874855⟩