Stéphanie Delaune, Steve Kremer, Mark Ryan. Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. In David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida, editors, Towards Trustworthy Elections, New Directions in Electronic Voting. Volume 6000 of Lecture Notes in Computer Science, pages 289-309, Springer, 2010. [doi]
Abstract is missing.