Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04311739 , version 1

Cite

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⟩
40 View
27 Download

Share

Gmail Mastodon Facebook X LinkedIn More