Publications

[1]

Alexander Ek, Michelle Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, and Damjan Vukcevic. "Doing More With Less: Mismatch-Based Risk-Limiting Audits". Financial Cryptography and Data Security. FC 2025 Int’l Workshops (Voting’25). LNCS. Springer, 2025. Forthcoming.

[2]

Michelle Blom, Alexander Ek, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, and Damjan Vukcevic. "3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections". Financial Cryptography and Data Security. FC 2025 Int’l Workshops (Voting’25). LNCS. Springer, 2025. Forthcoming.

[3]

Alexander Ek, Philip B. Stark, Peter J. Stuckey, and Damjan Vukcevic. "Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections". Financial Cryptography and Data Security. FC 2024 Int’l Workshops (Voting’24). LNCS 14746. Springer, 2025, pp. 18–32.

[4]

Alexander Ek, Michelle Blom, Philip B. Stark, Peter J. Stuckey, and Damjan Vukcevic. "Improving the Computational Efficiency of Adaptive Audits of IRV Elections". Electronic Voting (E-Vote-ID’24). LNCS 15014. Springer, 2024, pp. 37–53.

[5]

Andrew Conway, Michelle Blom, Alexander Ek, Peter J. Stuckey, Vanessa J. Teague, and Damjan Vukcevic. "Idiosyncratic properties of Australian STV election counting". 2024. Presented at the 10th Int’l Joint Conf. on Electronic Voting (E-Vote-ID’24).

[6]

Alexander Ek, Philip B. Stark, Peter J. Stuckey, and Damjan Vukcevic. "Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE". Electronic Voting (E-Vote-ID’23). LNCS 14230. Springer, 2023, pp. 35–51. Best Paper Award: Security, Usability and Technical Issues Track.

[7]

Michelle Blom, Peter J. Stuckey, Vanessa Teague, and Damjan Vukevic. "Risk-limiting audits for condorcet elections". Financial Cryptography and Data Security. FC 2023 Int’l Workshops (Voting’23). LNCS 13953. Springer, 2023, pp. 79–94. https://fc23.ifca.ai/voting/papers/BSTV23.pdf.

[8]

Floyd Everest, Michelle Blom, Philip Stark, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic. "Ballot-polling audits of instant-runoff voting elections with a Dirichlet-tree model". Proceedings of the 1st International Workshop on Election Infrastructure Security (EIS 2022). LNCS 13785. Springer, 2023, pp. 525–540.

[9]

Michelle Blom, and Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic. "A first approach to risk-limiting audits for STV elections". Proceedings of the Seventh Workshop on Advances in Secure Electronic Voting. LNCS 13412. Springer, 2022, pp. 366–380.

[10]

Michelle Blom, Jurlind Budurushi, Ron Rivest, Philip Stark, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic. "Assertion-based approaches to auditing complex elections, with application to party-list proportional elections". Proceedings of the e-Vote-ID 2021: Sixth International Joint Conference on Electronic Voting. LNCS 12900. Springer, 2021, pp. 47–62.

[11]

Michelle Blom, Philip Stark, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic. "Auditing Hamiltonian elections". Proceedings of the Sixth Workshop on Advances in Secure Electronic Voting. LNCS. 2021, pp. 235–250.

[12]

Michelle Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip Stark, Peter J. Stuckey, and Vanessa Teague. "You can do RLAs for IRV: The process pilot of risk-limiting audits for the San Francisco district attorney 2019 instant runoff vote". 5th Int’l Joint Conf. On Electronic Voting (E-Vote-ID’20). TalTech Press, 2020, pp. 296–310. Best Paper Award: Election and Practical Experiences Track.

[13]

Michelle Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic. "Random errors are not necessarily politically neutral". Electronic Voting (E-Vote-ID’20). LNCS 11759. Springer, 2020, pp. 19–35.

[14]

Michelle Blom, Andrew Conway, Peter J. Stuckey, and Vanessa Teague. "Shifting the balance-of-power in STV elections". Electronic Voting (E-Vote-ID’20). LNCS 11759. Springer, 2020, pp. 1–18.

[15]

Michelle Blom, Andrew Conway, Peter J. Stuckey, and Vanessa Teague. "Did that lost ballot box cost me a seat? – computing manipulations of STV elections". 32nd Annual Conf. On Innovative Applications of Artificial Intelligence. AAAI Press, 2020, pp. 13235–13240.

[16]

Michelle Blom, Peter J. Stuckey, and Vanessa Teague. "Election manipulation with partial information". Electronic Voting (E-Vote-ID’19). LNCS 11759. Springer, 2019, pp. 32–49.

[17]

Michelle Blom, Peter J. Stuckey, and Vanessa Teague. "Election manipulation 100". Financial Cryptography and Data Security. FC 2019 Int’l Workshops (Voting’19). LNCS 11599. Springer, 2019, pp. 211–225.

[18]

Michelle Blom, Peter J. Stuckey, and Vanessa Teague. "Towards computing the margin of victory in STV elections". INFORMS Journal of Computing, 31(4):636–653.

[19]

Michelle Blom, Peter J. Stuckey, and Vanessa Teague. "Computing the margin of victory in preferential parliamentary elections". Electronic Voting (E-Vote-ID’18). LNCS 11143. 2018, pp. 1–16. Best Paper Award.

[20]

Michelle Blom, Peter J. Stuckey, and Vanessa Teague. "Ballot-polling risk limiting audits for IRV elections". Electronic Voting (E-Vote-ID’18). LNCS 11143. Springer, 2018, pp. 17–34.

[21]

Michelle Blom, Vanessa Teague, Peter J. Stuckey, and Ron Tidhar. "Efficient computation of exact IRV margins". 22nd European Conference on Artificial Intelligence. 2016, pp. 480–488.