End-to-End Verifiable Elections in the Standard Model

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationAdvances in Cryptology - EUROCRYPT 2015
Subtitle of host publication34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
EditorsElisabeth Oswald, Marc Fischlin
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages468-498
Number of pages31
ISBN (Electronic)978-3-662-46803-6
ISBN (Print)978-3-662-46802-9
DOIs
Publication statusPublished - 14 Apr 2015
Event34th Annual International Conference on the Theory and Applications of Cryptographic Techniques - Sofia, Bulgaria
Duration: 26 Apr 201530 Apr 2015
https://www.cosic.esat.kuleuven.be/eurocrypt_2015/

Publication series

NameLecture Notes in Computer Science (LNCS)
Publisher Springer Berlin Heidelberg
Volume9057
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference34th Annual International Conference on the Theory and Applications of Cryptographic Techniques
Abbreviated titleEurocrypt 2015
CountryBulgaria
CitySofia
Period26/04/1530/04/15
Internet address

Fingerprint Dive into the research topics of 'End-to-End Verifiable Elections in the Standard Model'. Together they form a unique fingerprint.

Cite this