English
Related papers

Related papers: Auditing Australian Senate Ballots

200 papers

Recent years have seen an increase in the use of online deliberation platforms (DPs). One of the main objectives of DPs is to enhance democratic participation, by allowing citizens to post, comment, and vote on policy proposals. But in what…

Computers and Society · Computer Science 2026-02-27 Nicolien Janssens , Frederik van de Putte

This paper formalizes the lattice structure of the ballot voters cast in a ranked-choice election and the preferences that this structure induces. These preferences are shown to be counter to previous assumptions about the preferences of…

Theoretical Economics · Economics 2023-01-10 Brian Duricy

Lotteries are commonly employed in school choice to fairly resolve priority ties; however, current practices typically keep students uninformed about their lottery outcomes at the time of preference submission. This paper advocates for…

Theoretical Economics · Economics 2025-12-04 Lingbo Huang , Jun Zhang

We propose new methods of electoral statistics. With their help, we study transcripts of vote counting in municipal elections. We construct and apply effective statistical tests to detect the ballot stuffing at the level of individual…

Physics and Society · Physics 2026-04-17 Andrey V. Podlazov , Vadim Makarov

Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While methods differ by state and party, many primaries involve…

Computers and Society · Computer Science 2021-09-20 Michelle Blom , Philip B. Stark , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

There is still debate on whether voters can detect malicious changes in their printed ballot after making their selections on a Ballot Marking Device (BMD). In this study, we altered votes on a voter's ballot after they had made their…

Human-Computer Interaction · Computer Science 2022-04-22 Philip Kortum , Michael D. Byrne , Chidera O. Azubike , Laura E. Roty

Indian Electronic Voting Machines (EVMs) will be fitted with printers that produce Voter-Verifiable Paper Audit Trails (VVPATs) in time for the 2019 general election. VVPATs provide evidence that each vote was recorded as the voter…

Cryptography and Security · Computer Science 2019-01-28 Vishal Mohanty , Nicholas Akinyokun , Andrew Conway , Chris Culnane , Philip B. Stark , Vanessa Teague

Single Transferable Vote (STV) elections are a principled approach to electing multiple candidates in a single election. Each ballot has a starting value of 1, and a candidate is elected if they gather a total vote value more than a defined…

Computer Science and Game Theory · Computer Science 2024-12-03 Michelle Blom , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

Since the result of the 2016 referendum, Brexit has been an unpredictable democratic adventure, the finale of which remains unclear. This year, in the final days of March, parliamentarians seized control of the order paper from the…

Physics and Society · Physics 2019-06-04 Thomas Sayer

A method is given for quantitatively rating the social acceptance of different options which are the matter of a preferential vote. In contrast to a previous article, here the individual votes are allowed to be incomplete, that is, they…

Optimization and Control · Mathematics 2012-03-09 Rosa Camps , Xavier Mora , Laia Saumell

We study the task of electing egalitarian sequences of $\tau$ committees given a set of agents with additive utilities for candidates available on each of $\tau$ levels. We introduce several rules for electing an egalitarian committee…

Computer Science and Game Theory · Computer Science 2025-08-21 Paula Böhm , Robert Bredereck , Till Fluschnik

We present an approximate sampling framework and discuss how risk-limiting audits can compensate for these approximations, while maintaining their "risk-limiting" properties. Our framework is general and can compensate for counting mistakes…

Data Structures and Algorithms · Computer Science 2019-01-04 Mayuri Sridhar , Ronald L. Rivest

We study multiwinner elections with approval-based preferences. An instance of a multiwinner election consists of a set of alternatives, a population of voters---each voter approves a subset of alternatives, and the desired committee size…

Computer Science and Game Theory · Computer Science 2019-10-15 Piotr Skowron

The voting systems known as Alternative Vote (AV) and Single Transferable Vote (STV) are extensively used for elections in Australia, possibly more than in any other jurisdiction. Often proposed as superior alternatives to Plurality and…

Physics and Society · Physics 2025-07-22 Anthony B. Morton

The question of whether or not voters actually verify ballots produced by ballot marking devices (BMDs) is presently the subject of some controversy. Recent studies (e.g., Bernhard, et al. 2020) suggest the verification rate is low. What is…

Human-Computer Interaction · Computer Science 2020-03-12 Philip Kortum , Michael D. Byrne , Julie Whitmore

Assessing and comparing the security level of different voting systems is non-trivial as the technical means provided for and societal assumptions made about various systems differ significantly. However, trust assumptions concerning the…

Cryptography and Security · Computer Science 2023-09-20 Kristjan Krips , Nikita Snetkov , Jelizaveta Vakarjuk , Jan Willemson

The Sarbanes-Oxley Act of 2002 has finally forced corporations to examine the validity of their spreadsheets. They are beginning to understand the spreadsheet error literature, including what it tells them about the need for comprehensive…

Software Engineering · Computer Science 2008-04-08 Raymond R. Panko , Nicholas Ordway

To preserve voter secrecy on untrusted voter devices we propose to use short voting codes. This ensures voting codes remain practical even if the voter is able to select multiple voting choices. We embed the mechanism in a protocol that…

Cryptography and Security · Computer Science 2023-11-22 Florian Moser

When interpreting A/B tests, we typically focus only on the statistically significant results and take them by face value. This practice, termed post-selection inference in the statistical literature, may negatively affect both point…

Applications · Statistics 2021-06-01 Alex Deng , Yicheng Li , Jiannan Lu , Vivek Ramamurthy

Electronic and remote voting has become a large field of research and brought forth a multiplicity of schemes, systems, cryptographic primitives as well as formal definitions and requirements for electronic elections. In this survey we try…

Computers and Society · Computer Science 2017-02-10 Alexander Schneider , Christian Meter , Philipp Hagemeister