An Interior Point Algorithm for Large-Scale Nonlinear Programming
SIAM Journal on Optimization
Information Theory: Coding Theorems for Discrete Memoryless Systems
Information Theory: Coding Theorems for Discrete Memoryless Systems
Convex Optimization
An interior algorithm for nonlinear optimization that combines line search and trust region steps
Mathematical Programming: Series A and B
Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)
Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)
Machine-assisted election auditing
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
In defense of pseudorandom sample selection
EVT'08 Proceedings of the conference on Electronic voting technology
EVT'08 Proceedings of the conference on Electronic voting technology
CAST: Canvass audits by sampling and testing
IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Risk-limiting postelection audits: conservative P-values from common probability inequalities
IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Weight, weight, don't tell me: using scales to select ballots for auditing
EVT/WOTE'09 Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections
On the security of election audits with low entropy randomness
EVT/WOTE'09 Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections
Computational complexity and information asymmetry in election audits with low-entropy randomness
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
Super-simple simultaneous single-ballot risk-limiting audits
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
Super-simple simultaneous single-ballot risk-limiting audits
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
SOBA: secrecy-preserving observable ballot-level audit
EVT/WOTE'11 Proceedings of the 2011 conference on Electronic voting technology/workshop on trustworthy elections
A Bayesian method for auditing elections
EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
BRAVO: ballot-polling risk-limiting audits to verify outcomes
EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
| Hi-index | 0.00 |
We take an information-theoretic approach to sequential election auditing. By comparing how far an empirical distribution of audited votes diverges from any distribution in which the reported outcome is incorrect, we gain a high degree of confidence in the outcome when our procedure confirms the reported results.