Assertion-based approaches to auditing complex elections, with application to party-list proportional elections

Published in In the proceedings of International Joint Conference on Electronic Voting, 2021

Recommended citation: Michelle Blom, Jurlind Budurushi, Ronald Rivest, Philip Stark, Peter Stuckey, Vanessa Teague, Damjan Vukcevic, "Assertion-based approaches to auditing complex elections, with application to party-list proportional elections." In the proceedings of International Joint Conference on Electronic Voting, 2021.