1. Helios: web-based open-audit voting;Adida,2008
2. Electing a University President using Open-Audit Voting (SlideShow);Adida,2009
3. State of Helios 2010 : features and deployments;Adida,2010
4. Tamper resistance: a cautionary note;Anderson,1996
5. Zero-knowledge in the applied Pi-calculus and automated verification of the direct anonymous attestation protocol;Backes,2008