Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. In Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala, editors, Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers. Volume 13412 of Lecture Notes in Computer Science, pages 366-380, Springer, 2022. [doi]
Abstract is missing.