Are your votes ::::really:::: 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 ::::really:::: counted?: testing the security of real-world electronic voting systems. In Barbara G. Ryder, Andreas Zeller, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008. pages 237-248, ACM, 2008. [doi]

Authors

Davide Balzarotti

This author has not been identified. Look up 'Davide Balzarotti' in Google

Greg Banks

This author has not been identified. Look up 'Greg Banks' in Google

Marco Cova

This author has not been identified. Look up 'Marco Cova' in Google

Viktoria Felmetsger

This author has not been identified. Look up 'Viktoria Felmetsger' in Google

Richard A. Kemmerer

This author has not been identified. Look up 'Richard A. Kemmerer' in Google

William K. Robertson

This author has not been identified. Look up 'William K. Robertson' in Google

Fredrik Valeur

This author has not been identified. Look up 'Fredrik Valeur' in Google

Giovanni Vigna

This author has not been identified. Look up 'Giovanni Vigna' in Google