Colorado Secretary of State Jena Griswold
Risk-Limiting Audit Resources
Philip B. Stark, Pseudo-Random Number Generator using SHA-256
Mark Lindeman and Philip B. Stark, A Gentle Introduction to Risk-limiting Audits, IEEE Security and Privacy, Special Issue on Electronic Voting, (Mar. 16, 2012) (PDF)
Philip B. Stark, Tools for Comparison Risk-Limiting Election Audits, (Feb. 26, 2017)
Philip B. Stark, Tools for Ballot-Polling Risk-Limiting Election Audits, (Feb. 16, 2017)