CAST: Canvass Audits by Sampling and Testing
Philip B. Stark · IEEE Transactions on Information Forensics and Security · 2009
Canvass audit by sampling and testing (CAST) is a method to decide on the basis of a hand count of a random sample of batches of ballots whether to count the entire audit trail of a contest by hand. Data are collected in stages. At stages, one computesPs, an upper bound on theP-value of the hypothesis that the apparent outcome is wrong, conditional on the results of previous audit stages. IfPsis less than a thresholdalphas-strong evidence that the apparent outcome is correct-the audit stops. Otherwise, the audit advances to stages+1 . If the audit has not stopped by stages=S, there is a full hand count. The thresholds{alphas}s=1Sare chosen to guarantee that whenever the apparent outcome is wrong, the chance of a full hand count is at least1-alpha: The risk of certifying an incorrect outcome is at mostalpha. Conditioning allows deliberate selection of some batches of ballots for audit. CAST can use any sampling and testing scheme for which upper bounds on conditionalP-values can be calculated. A turn-key implementation for proportionally stratified random samples is given, using the maximum relative overstatement of pairwise margins as the test statistic. This implementation works with contests that cross jurisdictional boundaries and contests that allow voters to select more than one candidate.