Understanding the security properties of ballot-based verification techniques
Eric Rescorla · 2009
As interest in the concept of verifiable elections has in-creased, so has interest in a variety of ballot-oriented mechanisms that offer the potential of more efficient ver-ification than traditional precinct- or machine-level au-dits. Unfortunately, threat analysis of these methods has lagged their design and in some cases implementation. This makes it difficult for policy makers to assess the merits and applicability of these techniques. This paper provides a fairly non-technical description of the security threats facing these systems with the intent of informing deployment decisions. 1