3 papers
cs.CR2025
Security Analysis of Chain-FS service
Vanessa Teague, Arash Mirzaei
We examine the security of a cloud storage service that makes very strong claims about the ``trustless'' nature of its security. We find that, although stored files are end-to-end…
cs.CR2025
MERGE: Matching Electronic Results with Genuine Evidence for verifiable voting in person at remote locations
Ben Adida, John Caron, Arash Mirzaei +1
Overseas military personnel often face significant challenges in participating in elections due to the slow pace of traditional mail systems, which can result in ballots missing cr…
cs.CR2024
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…