User:Robert Loring/"resilient canvass framework"

Resilient Canvass Framework ... The technical name for the approach we advocate is a resilient canvass framework [1]. This can be achieved by a strongly software-independent voting system [2], [3], which provides auditability by generating an audit trail that can be used to find the actual winners, and two kinds of routine postelection audits: a compliance audit and a Risk_limiting_post-election_audit [4], [5], [6], [7], [8], [9]. The compliance audit checks that the audit trail is sufficiently complete and accurate to tell who won. The risk-limiting audit checks the audit trail statistically to determine whether the vote tabulation system found the correct winners, and, with high probability, corrects the outcome if the vote tabulation system was wrong.

All three components are crucial. The risk-limiting audit relies on the integrity of the audit trail, which was created by the software-independent voting system (the voters themselves, in the case of paper ballots) and checked for integrity by the compliance audit. We now sketch the three ingredients in greater detail.