Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections-Reference-Cited by-同舟云学术

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

Published:2021 Issue: Volume: Page:47-62
ISSN:0302-9743
Container-title:Electronic Voting
language:
Short-container-title:

Author:

Blom Michelle^ORCID,Budurushi Jurlind^ORCID,Rivest Ronald L.^ORCID,Stark Philip B.^ORCID,Stuckey Peter J.^ORCID,Teague Vanessa^ORCID,Vukcevic Damjan^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-86942-7_4

Reference5 articles.

1. Blom, M., Stark, P.B., Stuckey, P.J., Teague, V., Vukcevic, D.: Auditing Hamiltonian elections. In: M. Bernhard et al. (Eds.): FC 2021 Workshops, LNCS 12676, pp. 1–16 (2021). https://doi.org/10.1007/978-3-662-63958-0_21 (The original manuscript of this work is available at: arXiv:2102.08510)

2. Blom, M., Stuckey, P.J., Teague, V.: RAIRE: risk-limiting audits for IRV elections. arXiv:1903.08804 (2019)

3. Budurushi, J.: Usable security evaluation of EasyVote in the context of complex elections. Ph.D. thesis, Technische Universität Darmstadt, Darmstadt (2016). https://tuprints.ulb.tu-darmstadt.de/5418/

4. Lecture Notes in Computer Science;PB Stark,2020

5. Stark, P.B., Teague, V., Essex, A.: Verifiable European elections: risk-limiting audits for D’Hondt and its relatives. USENIX J. Elect. Technol. Syst. (JETS) 3(1), 18–39 (2014)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Risk-Limiting Audits for Condorcet Elections;Financial Cryptography and Data Security. FC 2023 International Workshops;2023-12-05

2. Adaptive Risk-Limiting Comparison Audits;2023 IEEE Symposium on Security and Privacy (SP);2023-05

3. Non(c)esuch Ballot-Level Comparison Risk-Limiting Audits;Computer Security. ESORICS 2022 International Workshops;2023

4. A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections;Financial Cryptography and Data Security. FC 2022 International Workshops;2023

5. RiLACS: Risk Limiting Audits via Confidence Sequences;Electronic Voting;2021