A first approach to risk-limiting audits for single transferable vote elections

Michelle Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic

doi:10.1007/978-3-031-32415-4_25

A first approach to risk-limiting audits for single transferable vote elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic

Department of Data Science & AI

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

Abstract

Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been developed for many forms of election—for example: first-past-the-post, instant-runoff voting, and D’Hondt elections—auditing methods for single transferable vote (STV) elections have yet to be developed. STV elections are notoriously hard to reason about since there is a complex interaction of votes that change their value throughout the process. In this paper we present the first approach to risk-limiting audits for STV elections, restricted to the case of 2-seat STV elections.

Original language	English
Title of host publication	Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers
Editors	Shin’ichiro Matsuo, Lewis Gudgeon, Daniel Perez Hernandez, Sam Werner, Ariah Klages-Mundt, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	366-380
Number of pages	15
ISBN (Electronic)	9783031324154
ISBN (Print)	9783031324147
DOIs	https://doi.org/10.1007/978-3-031-32415-4_25
Publication status	Published - 2023
Event	Workshop on Advances in Secure Electronic Voting 2022 - , Grenada Duration: 6 May 2022 → 6 May 2022 Conference number: 7th https://fc22.ifca.ai/voting/ (Website) https://link.springer.com/book/10.1007/978-3-031-32415-4 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13412
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Workshop on Advances in Secure Electronic Voting 2022
Country/Territory	Grenada
Period	6/05/22 → 6/05/22
Internet address	https://fc22.ifca.ai/voting/ (Website) https://link.springer.com/book/10.1007/978-3-031-32415-4 (Proceedings)

Access to Document

10.1007/978-3-031-32415-4_25

Cite this

Blom, M., Stuckey, P. J., Teague, V., & Vukcevic, D. (2023). A first approach to risk-limiting audits for single transferable vote elections. In S. Matsuo, L. Gudgeon, D. Perez Hernandez, S. Werner, A. Klages-Mundt, T. Haines, A. Essex, A. Bracciali, & M. Sala (Eds.), Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers (pp. 366-380). (Lecture Notes in Computer Science ; Vol. 13412). Springer. https://doi.org/10.1007/978-3-031-32415-4_25

Blom, Michelle ; Stuckey, Peter J. ; Teague, Vanessa et al. / A first approach to risk-limiting audits for single transferable vote elections. Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers. editor / Shin’ichiro Matsuo ; Lewis Gudgeon ; Daniel Perez Hernandez ; Sam Werner ; Ariah Klages-Mundt ; Thomas Haines ; Aleksander Essex ; Andrea Bracciali ; Massimiliano Sala. Cham Switzerland : Springer, 2023. pp. 366-380 (Lecture Notes in Computer Science ).

@inproceedings{0a25339d77014ce79d60d0cd12d1ba9e,

title = "A first approach to risk-limiting audits for single transferable vote elections",

abstract = "Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been developed for many forms of election—for example: first-past-the-post, instant-runoff voting, and D{\textquoteright}Hondt elections—auditing methods for single transferable vote (STV) elections have yet to be developed. STV elections are notoriously hard to reason about since there is a complex interaction of votes that change their value throughout the process. In this paper we present the first approach to risk-limiting audits for STV elections, restricted to the case of 2-seat STV elections.",

author = "Michelle Blom and Stuckey, {Peter J.} and Vanessa Teague and Damjan Vukcevic",

note = "Funding Information: This work was partially supported by the Australian Research Council: Discovery Project DP220101012, OPTIMA ITTC IC200100009. Publisher Copyright: {\textcopyright} 2023, International Financial Cryptography Association.; Workshop on Advances in Secure Electronic Voting 2022 ; Conference date: 06-05-2022 Through 06-05-2022",

year = "2023",

doi = "10.1007/978-3-031-32415-4_25",

language = "English",

isbn = "9783031324147",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "366--380",

editor = "Shin{\textquoteright}ichiro Matsuo and Lewis Gudgeon and {Perez Hernandez}, Daniel and Sam Werner and Ariah Klages-Mundt and Thomas Haines and Aleksander Essex and Andrea Bracciali and Massimiliano Sala",

booktitle = "Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers",

url = "https://fc22.ifca.ai/voting/, https://link.springer.com/book/10.1007/978-3-031-32415-4",

}

Blom, M, Stuckey, PJ, Teague, V & Vukcevic, D 2023, A first approach to risk-limiting audits for single transferable vote elections. in S Matsuo, L Gudgeon, D Perez Hernandez, S Werner, A Klages-Mundt, T Haines, A Essex, A Bracciali & M Sala (eds), Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers. Lecture Notes in Computer Science , vol. 13412, Springer, Cham Switzerland, pp. 366-380, Workshop on Advances in Secure Electronic Voting 2022, Grenada, 6/05/22. https://doi.org/10.1007/978-3-031-32415-4_25

A first approach to risk-limiting audits for single transferable vote elections. / Blom, Michelle; Stuckey, Peter J.; Teague, Vanessa et al.
Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers. ed. / Shin’ichiro Matsuo; Lewis Gudgeon; Daniel Perez Hernandez; Sam Werner; Ariah Klages-Mundt; Thomas Haines; Aleksander Essex; Andrea Bracciali; Massimiliano Sala. Cham Switzerland: Springer, 2023. p. 366-380 (Lecture Notes in Computer Science ; Vol. 13412).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A first approach to risk-limiting audits for single transferable vote elections

AU - Blom, Michelle

AU - Stuckey, Peter J.

AU - Teague, Vanessa

AU - Vukcevic, Damjan

N1 - Conference code: 7th

PY - 2023

Y1 - 2023

N2 - Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been developed for many forms of election—for example: first-past-the-post, instant-runoff voting, and D’Hondt elections—auditing methods for single transferable vote (STV) elections have yet to be developed. STV elections are notoriously hard to reason about since there is a complex interaction of votes that change their value throughout the process. In this paper we present the first approach to risk-limiting audits for STV elections, restricted to the case of 2-seat STV elections.

AB - Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been developed for many forms of election—for example: first-past-the-post, instant-runoff voting, and D’Hondt elections—auditing methods for single transferable vote (STV) elections have yet to be developed. STV elections are notoriously hard to reason about since there is a complex interaction of votes that change their value throughout the process. In this paper we present the first approach to risk-limiting audits for STV elections, restricted to the case of 2-seat STV elections.

UR - http://www.scopus.com/inward/record.url?scp=85172685403&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-32415-4_25

DO - 10.1007/978-3-031-32415-4_25

M3 - Conference Paper

AN - SCOPUS:85172685403

SN - 9783031324147

T3 - Lecture Notes in Computer Science

SP - 366

EP - 380

BT - Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers

A2 - Matsuo, Shin’ichiro

A2 - Gudgeon, Lewis

A2 - Perez Hernandez, Daniel

A2 - Werner, Sam

A2 - Klages-Mundt, Ariah

A2 - Haines, Thomas

A2 - Essex, Aleksander

A2 - Bracciali, Andrea

A2 - Sala, Massimiliano

PB - Springer

CY - Cham Switzerland

T2 - Workshop on Advances in Secure Electronic Voting 2022

Y2 - 6 May 2022 through 6 May 2022

ER -

Blom M, Stuckey PJ, Teague V, Vukcevic D. A first approach to risk-limiting audits for single transferable vote elections. In Matsuo S, Gudgeon L, Perez Hernandez D, Werner S, Klages-Mundt A, Haines T, Essex A, Bracciali A, Sala M, editors, Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers. Cham Switzerland: Springer. 2023. p. 366-380. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-031-32415-4_25

A first approach to risk-limiting audits for single transferable vote elections

Abstract

Publication series

Conference

Access to Document

Other files and links

In for the count: Maximising trust and reliability in Australian elections

Cite this

A first approach to risk-limiting audits for single transferable vote elections

Abstract

Publication series

Conference

Access to Document

Other files and links

Projects

In for the count: Maximising trust and reliability in Australian elections

Cite this