Are your votes <i>really</i> counted?: testing the security of real-world electronic voting systems.

Davide Balzarotti Greg Banks Marco Cova Viktoria Felmetsger Richard A. Kemmerer William K. Robertson Fredrik Valeur Giovanni Vigna Are your votes <i>really</i> counted?: testing the security of real-world electronic voting systems. 237-248 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390660 conf/issta/2008 db/conf/issta/issta2008.html#BalzarottiBCFKRVV08