End-to-end verifiable elections in the standard model

Kiayias, Aggelos and Zacharias, Thomas and Zhang, Bingsheng (2015) End-to-end verifiable elections in the standard model. In: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer, pp. 468-498. ISBN 9783662468036

[img]
Preview
PDF (main)
main.pdf - Accepted Version

Download (504kB)

Abstract

We present the cryptographic implementation of “DEMOS”, a new e-voting system that is end-to-end verifiable in the standard model, i.e., without any additional “setup” assumption or access to a random oracle (RO). Previously known end-to-end verifiable e-voting systems required such additional assumptions (specifically, either the existence of a “randomness beacon” or were only shown secure in the RO model). In order to analyze our scheme, we also provide a modeling of end-to-end verifiability as well as privacy and receipt-freeness that encompasses previous definitions in the form of two concise attack games. Our scheme satisfies end-to-end verifiability information theoretically in the standard model and privacy/receipt-freeness under a computational assumption (subexponential Decisional Diffie Helman). In our construction, we utilize a number of techniques used for the first time in the context of e-voting schemes that include utilizing randomness from bit-fixing sources, zero-knowledge proofs with imperfect verifier randomness and complexity leveraging.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
79346
Deposited By:
Deposited On:
05 May 2016 10:18
Refereed?:
Yes
Published?:
Published
Last Modified:
08 Apr 2020 23:46