Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership

Résumé

Electronic voting is one of the most interesting application of modern cryptography, as it involves many innovative tools (such as homomorphic public-key encryption, non-interactive zero-knowledge proofs, and distributed cryptography) to guarantee several a priori contradictory security properties: the integrity of the tally and the privacy of the individual votes. While many efficient solutions exist for honest-but-curious voters, that follow the official procedure but try to learn more than just the public result, preventing attacks from malicious voters is much more complex: when voters may have incentive to send biased ballots, the privacy of the ballots is much harder to satisfy, whereas this is the crucial security property for electronic voting. We present a new technique to prove that an ElGamal ciphertext contains a message from a specific subset (quasi-adaptive NIZK of subset membership), using linearly-homomorphic signatures. The proofs are both quite efficient to generate, allowing the use of low-power devices to vote, and randomizable, which is important for the strong receipt-freeness property. They are well-suited to prevent vote-selling and replay attacks, which are the main threats against the privacy in electronic voting, with security proofs in the generic group model and the random oracle model.
Fichier principal
Vignette du fichier
2023-1499.pdf (612.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04311739 , version 1 (28-11-2023)

Identifiants

  • HAL Id : hal-04311739 , version 1

Citer

David Pointcheval. Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership. Eighth International Joint Conference on Electronic Voting (E-Vote-ID '23), Oct 2023, Luxembourg, Luxembourg. ⟨hal-04311739⟩
17 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More