Ben Adida Helios: Web-based Open-Audit Voting. 335-348 2008 USENIX Security Symposium http://www.usenix.org/events/sec08/tech/full_papers/adida/adida.pdf conf/uss/2008 db/conf/uss/uss2008.html#Adida08