Security analysis of the Australian Capital Territory's eVACS 2020/2024 paperless direct recording electronic voting system

Autor:	Culnane, Chris, Conway, Andrew, Teague, Vanessa, Wilson-Brown, Ty
Rok vydání:	2024
Předmět:	Computer Science - Cryptography and Security
Druh dokumentu:	Working Paper
Popis:	This report describes the implications for eVACS of two cryptographic errors in the Ada Web Services Library that it depends on. We identified these errors in the course of examining and testing the 2024 eVACS code, which was made publicly available in March 2024. We disclosed the problems to AdaCore, and explained the implications at the time to the relevant electoral authorities. Comment: 10 pages, 1 figure
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2409.13570 Zobrazit plný text záznamu View this record from Arxiv