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

Chris Culnane, Andrew Conway, Vanessa Teague +1

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 examini…