Development, formal verification, and evaluation of an E-voting system with VVPAT
IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
The effectiveness of receipt-based attacks on ThreeBallot
IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Hi-index | 0.00 |
This article presents a secure electronic voting system integrated in a single architecture—one that addresses vote receipts, uniqueness and materialization of the vote, and voter privacy and anonymity. Our prototype, built using Web services and Election Markup Language, shows the proposal's viability.