Electronic Australian Elections: Verifiability of Accuracy is a Design Goal, which Must be Mandated by Law and Deliberately Designed into Electronic Electoral Processes

Vanessa Teague   | Bio
Thinking Cybersecurity Pty Ltd and the Australian National University
Patrick Keyzer | Bio
La Trobe University, Melbourne, Australia
Share:

Abstract

Electronic voting and counting are increasingly common and have been adopted in a number of Australian jurisdictions. Unfortunately, there is evidence that e-voting systems lack transparency. At present there are reasonable solutions for poll-site e-voting but none for remote paperless Internet voting. Although there are reasonable methods for statistical audits of electronically counted election results, Australian elections do not use them. The authors argue that a purposive approach should be taken to relevant electoral laws to ensure that genuine scrutiny of electronic electoral processes can be undertaken. This would require the source code and the voting data to be made available for testing. The authors recommend a number of legislative reforms to ensure the verifiability of e-voting. These reforms need to be undertaken to ensure that Australian elections are accurate, and consistent with the constitutional requirement of direct choice by electors.

 

 

References

Australian Capital Territory, Electronic voting and counting, https://www.elections.act.gov.au/elections_and_voting/electronic_voting_and_counting, accessed 20 August 2020.
Australian Electoral Commission. 2016. Managing the AEC: External scrutiny. Commonwealth of Australia ., accessed 21 August 2020.
Australian Electoral Commission, Submission 120 – Supplementary Submission, Evidence to Joint Standing Committee on Electoral Matters, Commonwealth of Australia, Canberra 6 December 2019 (Electoral Commissioner (Commonwealth), Australian Electoral Commission), , accessed 24 August 2020.
Aviv, A., Černy, P., Clark, A., Cronin, E., Shah, G., Sherr, M. and Blaze, M. 2008. “Security Evaluation of Es&S Voting Machines and Election Management System.” In Proceedings of the Conference on Electronic Voting Technology, 1–13.
Balinski, Michel and Laraki, Rida. 2010. Majority judgment: measuring, ranking, and electing. Cambridge, Massachusetts: MIT Press.
Barrat i Esteve, J., Goldsmith, B., Turner, J. 2012. International Experience with E-Voting, International Foundation for Electoral Systems.
Bowland, G. 2018. "Counting the Western Australian Senate Election: How I ended up verifying the Australian Electoral Commission's count of the 2013 senate result" Oreamnos (accessed 24 August 2020).
Bowland, G., Dividebatur: process single-transferable-vote elections as used for the Australian Senate under the Commonwealth Electoral Act (1918) (8 May 2014) GitHub . accessed 21 August 2020.
Breedon, Kimberly and Bryant, Christopher A. 2019. “Counting the Votes: Electronic Voting Irregularities, Election Integrity, and Public Corruption.” The University of Memphis Law Review 49(4): 979-1017.
Brent, Peter. 2006. “The Australian ballot: Not the secret ballot.” Australian Journal of Political Science 41(1): 39-50.
Brett, Judith. 2019. From Secret Ballot to Democracy Sausage: How Australia Got Compulsory Voting. Text Publishing.
Chancellery, Swiss Federal. 2018a. “Annex to the FCh (OEV, SR 161.116) Ordinance of 13 December 2013 on Electronic Voting - Version 2.0.”
———. 2018b. “Federal Chancellery Ordinance 161.116 on Electronic Voting (Veles) of 13 December 2013.”
Checkoway, S., Feldman, A., Kantor, B., Halderman, J. A., Felten, E., Shacham, H. 2009. “Can DREs Provide Long-Lasting Security? The Case of Return-Oriented Programming and the AVC Advantage.” Proceedings of the USENIX workshop on Electronic Voting (EVT/WOTE).
Cockburn, P., Kontominas, B. 2019. "Election 2019: How the polls got it so wrong in predicting a Labor victory." ABC News , accessed 24 August 2020.
Commonwealth of Australia. Parliament. Joint Standing Committee on Electoral Matters. 2018. Inquiry into and Report on all Aspects of the Conduct of the 2016 Federal Election and Matters Related Thereto.
Commonwealth of Australia. Parliament. Joint Standing Committee on Electoral Matters. 1990. 1990 Federal Election: Report from the Joint Standing Committee on Electoral Matters.
Conway, A., Blom, M., Naish, L., Teague, V. 2017. “An Analysis of New South Wales Electronic Vote Counting.” Proceedings of the Australasian Computer Science Week Multiconference, 1–5. , accessed 21 August 2020.
Cordover, Michael. 2004. Software by which Senate counts are conducted, Right to Know, , accessed 21 August 2020.
Culnane, C., Eldridge, M., Essex, A., Teague, V. 2017. “Trust Implications of DDoS Protection in Online Elections.” International Joint Conference on Electronic Voting, 127–45. Springer.
Culnane, C., Ryan, P. Y. A., Schneider, S., Teague, V. 2015. “vVote: A Verifiable Voting System.” ACM Transactions on Information and System Security (TISSEC) 18 (1): 1–30.
Federal Council of the Swiss Confederation. 2019. "Federal Chancellery to review e-voting." , accessed 24 August 2020.
Feldman, A., Halderman, J. A., Felten, E. 2006. “Security Analysis of the Diebold Accuvote-TS Voting Machine.” , accessed 24 August 2020.
Ghale, M., Goré, R., Pattinson, D., Tiwari, M. 2018. “Modular Formalisation and Verification of STV Algorithms.” International Joint Conference on Electronic Voting, 51–66. Springer.
Goré, R., Slater, A. 2003. Electronic Voting – A Review of the Hare-Clark Model of eVACS
Green, A. 2019. “The Battle for the Legislative Council”. ABC https://www.abc.net.au/news/elections/nsw/2019/guide/legislative-council, accessed 24 August 2020
Guasch Castellò, S., No date. Individual Verifiability in Electronic Voting, Universitat Politècnica de Catalunya, 35-58.
Gumbel, Andrew. 2005. Steal This Vote: Dirty Elections and the Rotten History of Democracy in America. Nation Books.
Haines, T., Lewis, S. J., Pereira, O., Teague, V. 2020. “How not to prove your election outcome.” 41st IEEE Symposium on Security and Privacy. , accessed August 2020.
Hasen, R. 2000. “Vote Buying.” California Law Review, 88(5): 1323-1371.
Hayne, J. and Bogle, A. 2018. "Elections ACT dismisses concerns electronic ballots could be traced to voters." ABC News , accessed 21 August 2020.
Jennings, R. 2007. A Lesbian history of Britain: love and sex between women since 1500. Oxford: Greenwood World Publishing. Cited at , accessed 24 August 2020.
Jones, D., Simons, B. 2012. Broken Ballots: Will Your Vote Count? CSLI Publications Stanford.
Lewis, S. J., Pereira, O., Teague, V. 2019. “Trapdoor commitments in the SwissPost e-voting shuffle proof.” University of Melbourne. , accessed 20 August 2020.
Lust, Aleksander. 2018. “I-Vote, Therefore I Am? Internet Voting in Switzerland and Estonia.” SAIS Review of International Affairs, 38(1): 65-79.
Mannheim, M., Lowrey, T. 2020. "Most ACT election votes will likely be cast electronically in 2020. Here's how electronic voting works." , accessed 5 Oct 2020.
Neale, R.S. 1967. "H.S. Chapman and the 'Victorian Ballot.'" Historical Studies, vol. 12, 506-521.
NSW Electoral Commission media unit. 12 March 2019. NSW Electoral Commission iVote and Swiss Post e-voting. , accessed 24 August 2020.
NSW Electoral Commission. 2019. "iVote Refresh for the 2019 NSW State election" , accessed 24 August 2020.
NSW Electoral Commission. 2019. Report on the Conduct of the 2019 NSW State Election. , accessed 24 August 2020.
NSW Hansard. 2010. Parliamentary Electorates and Elections Further Amendment Bill 2010. (Mr Aquilina.)
O’Collins, M. 2002. An Uneasy Relationship: Norfolk Island and the Commonwealth of Australia. ANU Press.
Ottoboni, K., Stark, P. B. 2019. “Election Integrity and Electronic Voting Machines in 2018 Georgia, USA.” In International Joint Conference on Electronic Voting, 166–82. Springer.
Pagallo, U., Aurucci, P., Casanovas, P., Chatila, R., Chazerand, P., Dignum, V., Luetge, C., Madelin, R., Schafer, B. and Valcke, P., 2019. AI4People-On Good AI Governance: 14 Priority Actions, a SMART Model of Governance, and a Regulatory Toolbox. https://www.eismd.eu/wp-content/uploads/2019/11/AI4Peoples-Report-on-Good-AI-Governance_compressed.pdf
PwC. 2019. Post-Election Report – Specified Procedures in relation to the online and telephone voting system (“iVote") for 2019 NSW State Election. , accessed 24 August 2020.
Rivest, Ronald L. 2008. “On the Notion of ‘Software Independence’ in Voting Systems.” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 366 (1881): 3759–67.
Sawer, M. 2001. “Inventing the Nation Through the Ballot Box.” Papers on Parliament, No 37, November 2001.
Serdült, U., Germann, M., Mendez, F., Portenier, A., Wellig, C. 2015. “Fifteen Years of Internet Voting in Switzerland: History, Governance and Use.” Proceedings of the Second International Conference on eDemocracy & eGovernment, 149–156. New York: Institute of Electrical and Electronics Engineers.
Sharma, Mahesh. 2014. "Government rejects Senate order to disclose Electoral Commission software code." Sydney Morning Herald , accessed 21 August 2020.
Silicon Econometrics Pty Ltd. 2016 (last updated 21 May 2020). "Count Australian STV elections." , accessed 24 August 2020.
Teague, V. 2019. "Faking an iVote decryption proof: Why the decryption proof flaw identified in the SwissPost system affects the iVote system too." , accessed 24 August 2020.
Tudeman, N. 1995. “The Single Transferable Vote.” Journal of Economic Perspectives, 9(1): 27-38.
Victoria. Parliament. 2017. Inquiry into Electronic Voting. Electoral Matters Committee.
Wilkins, Roger. 2018. Report on the Security of the iVote System. , accessed 24 August 2020.
Wilson-Brown, T. 2018. Possible Vote Disclosure in ACT Elections. , accessed 21 August 2020.
How to Cite
1.
Teague V, Keyzer P. Electronic Australian Elections: Verifiability of Accuracy is a Design Goal, which Must be Mandated by Law and Deliberately Designed into Electronic Electoral Processes . LiC [Internet]. 2020Nov.13 [cited 2020Dec.4];37(1):1-24. Available from: https://journals.latrobe.edu.au/index.php/law-in-context/article/view/119

Send mail to Author


Send Cancel