RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail

11/16/2021
by   Braden L. Crimmins, et al.
0

Postal voting is growing rapidly in the U.S., with 43 ballots by mail in 2020, yet until recently there has been little research about extending the protections of end-to-end verifiable (E2E-V) election schemes to vote-by-mail contexts. The first - and to date, only - framework to focus on this setting is STROBE, which has important usability limitations. In this work, we present two approaches, RemoteVote and SAFE Vote, that allow mail-in voters to benefit from E2E-V without changing the voter experience for those who choose not to participate in verification. To evaluate these systems and compare them with STROBE, we consider an expansive set of properties, including novel attributes of usability and verifiability, several of which have applicability beyond vote-by-mail contexts. We hope that our work will help catalyze further progress towards universal applicability of E2E-V for real-world elections.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/30/2020

Voting Framework for Distributed Real-Time Ethernet based Dependable and Safe Systems

In many industrial sectors such as factory automation and process contro...
research
05/31/2021

Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability

Selene is an e-voting protocol that allows voters to directly check thei...
research
09/10/2018

A case study in formal verification of a Java program

We describe a successful attempt to formally verify a simple genetic alg...
research
10/25/2019

Simplifying Neural Networks with the Marabou Verification Engine

Deep neural network (DNN) verification is an emerging field, with divers...
research
07/20/2018

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version)

In recent years, it has come to attention that governments have been doi...
research
07/30/2020

The Making of 5G: Building an End-to-End 5G-Enabled System

This article documents one of the world's first standards-compliant pre-...
research
06/24/2019

Assessing the Applicability of Authorship Verification Methods

Authorship verification (AV) is a research subject in the field of digit...

Please sign up or login with your details

Forgot password? Click here to reset