TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Merino, Louis-Henri, Colombo, Simone, Reyes, Rene, Azhir, Alaleh, Mishra, Shailesh, Tennage, Pasindu, Raeisi, Mohammad Amin, Zhang, Haoqian, Allen, Jeff R., Tellenbach, Bernhard, Estrada-Galiñanes, Vero, Ford, Bryan
Format: Preprint
Veröffentlicht: 2022
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866912645133631488
author Merino, Louis-Henri
Colombo, Simone
Reyes, Rene
Azhir, Alaleh
Mishra, Shailesh
Tennage, Pasindu
Raeisi, Mohammad Amin
Zhang, Haoqian
Allen, Jeff R.
Tellenbach, Bernhard
Estrada-Galiñanes, Vero
Ford, Bryan
author_facet Merino, Louis-Henri
Colombo, Simone
Reyes, Rene
Azhir, Alaleh
Mishra, Shailesh
Tennage, Pasindu
Raeisi, Mohammad Amin
Zhang, Haoqian
Allen, Jeff R.
Tellenbach, Bernhard
Estrada-Galiñanes, Vero
Ford, Bryan
contents Online voting is convenient and flexible, but amplifies the risks of voter coercion and vote buying. One promising mitigation strategy enables voters to give a coercer fake voting credentials, which silently cast votes that do not count. Current systems along these lines make problematic assumptions about credential issuance, however, such as strong trust in a registrar and/or in voter-controlled hardware, or expecting voters to interact with multiple registrars. Votegral is the first coercion-resistant voting architecture that leverages the physical security of in-person registration to address these credential-issuance challenges, amortizing the convenience costs of in-person registration by reusing credentials across successive elections. Votegral's registration component, TRIP, gives voters a kiosk in a privacy booth with which to print real and fake credentials on paper, eliminating dependence on trusted hardware in credential issuance. The voter learns and can verify in the privacy booth which credential is real, but real and fake credentials thereafter appear indistinguishable to others. Only voters actually under coercion, a hopefully-rare case, need to trust the kiosk. To achieve verifiability, each paper credential encodes an interactive zero-knowledge proof, which is sound in real credentials but unsound in fake credentials. Voters observe the difference in the order of printing steps, but need not understand the technical details. Experimental results with our prototype suggest that Votegral is practical and sufficiently scalable for real-world elections. User-visible latency of credential issuance in TRIP is at most 19.7 seconds even on resource-constrained kiosk hardware. A companion usability study indicates that TRIP's usability is competitive with other e-voting systems, and formal proofs support TRIP's combination of coercion-resistance and verifiability.
format Preprint
id arxiv_https___arxiv_org_abs_2202_06692
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
Merino, Louis-Henri
Colombo, Simone
Reyes, Rene
Azhir, Alaleh
Mishra, Shailesh
Tennage, Pasindu
Raeisi, Mohammad Amin
Zhang, Haoqian
Allen, Jeff R.
Tellenbach, Bernhard
Estrada-Galiñanes, Vero
Ford, Bryan
Cryptography and Security
Computers and Society
Human-Computer Interaction
Online voting is convenient and flexible, but amplifies the risks of voter coercion and vote buying. One promising mitigation strategy enables voters to give a coercer fake voting credentials, which silently cast votes that do not count. Current systems along these lines make problematic assumptions about credential issuance, however, such as strong trust in a registrar and/or in voter-controlled hardware, or expecting voters to interact with multiple registrars. Votegral is the first coercion-resistant voting architecture that leverages the physical security of in-person registration to address these credential-issuance challenges, amortizing the convenience costs of in-person registration by reusing credentials across successive elections. Votegral's registration component, TRIP, gives voters a kiosk in a privacy booth with which to print real and fake credentials on paper, eliminating dependence on trusted hardware in credential issuance. The voter learns and can verify in the privacy booth which credential is real, but real and fake credentials thereafter appear indistinguishable to others. Only voters actually under coercion, a hopefully-rare case, need to trust the kiosk. To achieve verifiability, each paper credential encodes an interactive zero-knowledge proof, which is sound in real credentials but unsound in fake credentials. Voters observe the difference in the order of printing steps, but need not understand the technical details. Experimental results with our prototype suggest that Votegral is practical and sufficiently scalable for real-world elections. User-visible latency of credential issuance in TRIP is at most 19.7 seconds even on resource-constrained kiosk hardware. A companion usability study indicates that TRIP's usability is competitive with other e-voting systems, and formal proofs support TRIP's combination of coercion-resistance and verifiability.
title TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
topic Cryptography and Security
Computers and Society
Human-Computer Interaction
url https://arxiv.org/abs/2202.06692