Estonia was the first country in the world to use Internet voting nationally, and today more
than 30% of its ballots are cast online. In this paper, we analyze the security of the Estonian I …

ElectionGuard is a flexible set of open-source tools that—when used with traditional election
systems—can produce end-to-end verifiable elections whose integrity can be verified by …

The complexity of US elections usually requires computers to count ballots—but computers
can be hacked, so election integrity requires a voting system in which paper ballots can be …

Voting systems have been around for hundreds of years and despite different views on their
integrity, have always been deemed secure with some fundamental security and anonymity …

In state-of-the-art e-voting systems, a bulletin board (BB) is a critical component for
preserving election integrity and availability. We introduce a framework for the formal …

E-voting systems have emerged as a powerful technology for improving democracy by
reducing election cost, increasing voter participation, and even allowing voters to directly …

The verifiable encryption of bits is the main computational step that is needed to prepare
ballots in many practical voting protocols. Its computational load can also be a practical …

This paper presents a mobile application for vote-casting and vote-verification based on the
Selene e-voting protocol and explains how it was developed and implemented using the …

The question of whether or not voters actually verify ballots produced by ballot marking
devices (BMDs) is presently the subject of some controversy. Recent studies (eg, Bernhard …

It is essential to democracy that voters trust voting systems enough to participate in elections
and use these systems. Unfortunately, voter trust has been found to be low in many …