Verifying Privacy-type Properties of Electronic Voting Protocols

[DelauneKremerRyan2009EVoting] Stéphanie Delaune, Steve Kremer and Mark Ryan. Verifying Privacy-type Properties of Electronic Voting Protocols. Journal of Computer Security, pages 435-487, IOS Press. 2009.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.cs.bham.ac.uk/~mdr/research/papers/pdf/09-privacyproperties.pdf