Optimizations for election tabulation auditing
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2019
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/1721.1/121684 |
| _version_ | 1811076131280912384 |
|---|---|
| author | Sridhar, Mayuri. |
| author2 | Ronald L. Rivest. |
| author_facet | Ronald L. Rivest. Sridhar, Mayuri. |
| author_sort | Sridhar, Mayuri. |
| collection | MIT |
| description | This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. |
| first_indexed | 2024-09-23T10:16:42Z |
| format | Thesis |
| id | mit-1721.1/121684 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T10:16:42Z |
| publishDate | 2019 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1216842019-08-07T03:04:29Z Optimizations for election tabulation auditing Sridhar, Mayuri. Ronald L. Rivest. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Electrical Engineering and Computer Science. This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019 Cataloged from student-submitted PDF version of thesis. Includes bibliographical references (pages 129-131). In this thesis, we explore different techniques to improve the field of election tabulation audits. In particular, we start by discussing the open problems in statistical election tabulation audits and categorizing these problems into three main sections - audit correctness, flexibility, and efficiency. In our first project, we argue that Bayesian audits provide a more flexible framework for a variety of elections than RLAs. Thus, we initially focus on analyzing their statistical soundness. Furthermore, we design and implement optimization techniques for Bayesian audits which show an increase in efficiency on synthetic election data. Then, motivated by empirical feedback from audit teams, we focus on workload estimation for RLAs. That is, we note that audit teams often want to finish the audit in a single round even if it requires sampling a few additional ballots. Hence, for the second project, we design software tools which can make initial sample size recommendations with this in mind. For our largest project, we focus on approximate sampling. That is, we argue that approximate sampling would provide an increase in efficiency for RLAs and suggest a particular sampling scheme, k-cut. We explore the usability of k-cut by providing and analyzing empirical data on single cuts. We argue that for large k, the model will converge to the uniform distribution exponentially quickly. We discuss simple mitigation procedures to make any statistical procedure work with approximate sampling and provide guidance on how to choose k. We also discuss usage of k-cut in practice, from pilot audit experiences in Indiana and Michigan, which showed that k-cut led to a significant real-life increase in efficiency. Supported by Center for Science of Information (CSoI), an NSF Science and Technology Centergrant agreement CCF-0939370 by Mayuri Sridhar. M. Eng. M.Eng. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science 2019-07-15T20:33:53Z 2019-07-15T20:33:53Z 2019 2019 Thesis https://hdl.handle.net/1721.1/121684 1102057533 eng MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582 131 pages application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Sridhar, Mayuri. Optimizations for election tabulation auditing |
| title | Optimizations for election tabulation auditing |
| title_full | Optimizations for election tabulation auditing |
| title_fullStr | Optimizations for election tabulation auditing |
| title_full_unstemmed | Optimizations for election tabulation auditing |
| title_short | Optimizations for election tabulation auditing |
| title_sort | optimizations for election tabulation auditing |
| topic | Electrical Engineering and Computer Science. |
| url | https://hdl.handle.net/1721.1/121684 |
| work_keys_str_mv | AT sridharmayuri optimizationsforelectiontabulationauditing |