Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. Auditing Hamiltonian Elections. In Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez 0001, Massimiliano Sala, Sam Werner, editors, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers. Volume 12676 of Lecture Notes in Computer Science, pages 235-250, Springer, 2021. [doi]
Abstract is missing.