1. Helios: web-based open-audit voting;Adida,2008
2. Efficient receipt-free ballot casting resistant to covert channels;Adida,2009
3. Ballot casting assurance;Adida,2006
4. Simple verifiable elections;Benaloh,2006
5. Elections with unconditionally secret ballots and disruption equivalent to breaking rsa;Chaum,1988