Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

Author(s)
Blom, Michelle; Budurushi, Jurlind; Rivest, Ronald L; Stark, Philip B; Stuckey, Peter J; ... Show more
Thumbnail
DownloadAccepted version (201.9Kb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2021
URI
https://hdl.handle.net/1721.1/143857
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
ELECTRONIC VOTING
Publisher
Springer International Publishing
Citation
Blom, Michelle, Budurushi, Jurlind, Rivest, Ronald L, Stark, Philip B, Stuckey, Peter J et al. 2021. "Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections." ELECTRONIC VOTING, 12900.
Version: Author's final manuscript
Collections