Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)
Library of the School of Science

2012-10-24

2012

Ορφανού Ανθή

Άγγελος Κιαγιάς Αναπλ. Καθηγητής ΕΚΠΑ

Voter Verifiable Internet Voting Protocols

English

We study the topic of remote Internet voting, which suffers inherently from two
main drawbacks: the untrusted clients and the vote-coercion problem. We focus
on the code verification voting protocols that deal with integrity issues due
to untrusted platforms in remote Internet voting. Code verification protocols
use voter-dependent return codes to allow the voters verify that the ballots
were cast as intended. We study the existing code verification protocols and
discuss their security guarantees. We propose a new protocol that achieves vote
verification, i.e. it provides the voter with a receipt of her vote without the
use of security codes, assuming the existence of a real-time untappable channel
between the voting servers and the voter. Our protocol is flexible, allowing us
to include an arbitrary number of voting servers to enhance voter privacy. We
present a natural extension of our protocol to a code verification protocol,
relaxing the security requirements of the secure channel. In addition we adapt
visual cryptography techniques to transform our construction into a visual vote
verification protocol that allows the voters verify their votes visually, by
overlaying seemingly random black and white images that reveal a receipt of the
vote when combined.

Electronic voting, Voter verifiability, Voter privacy, Vote integrity, Untrusted voting platform

Yes

1-12

No

28

99

File access is restricted only to the intranet of UoA.

https://pergamos.lib.uoa.gr/uoa/dl/object/1321476