The Theory and Implementation of Electronic Voting Systems

TY - CHAP

T1 - The Theory and Implementation of Electronic Voting Systems

AU - Damgård, Ivan Bjerre

AU - Groth, Jens

AU - Salomonsen, Gorm

A2 - Gritzalis, Dimitris

PY - 2002

Y1 - 2002

N2 - We describe the theory behind a practical voting scheme based on homomorphic encryption. We give an example of an ElGamal-style encryption scheme, which can be used as the underlying cryptosystem. Then, we present efficient honest verifier zero-knowledge proofs that make the messages in the voting scheme shorter and easier to compute and verify, for voters as well as authorities, than in currently known schemes. Finally, we discuss various issues connected with the security of a practical implementation of the scheme for on-line voting. Notably, this includes minimizing risks that are beyond what can be handled with cryptography, such as attacks that try to substitute the software running on client machines.

AB - We describe the theory behind a practical voting scheme based on homomorphic encryption. We give an example of an ElGamal-style encryption scheme, which can be used as the underlying cryptosystem. Then, we present efficient honest verifier zero-knowledge proofs that make the messages in the voting scheme shorter and easier to compute and verify, for voters as well as authorities, than in currently known schemes. Finally, we discuss various issues connected with the security of a practical implementation of the scheme for on-line voting. Notably, this includes minimizing risks that are beyond what can be handled with cryptography, such as attacks that try to substitute the software running on client machines.

M3 - Book chapter

SN - 978-1-4020-7301-4

VL - 7

SP - 77

EP - 100

BT - Secure Electronic Voting

PB - Kluwer Academic Publishers

CY - Springer

ER -