Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster.

Stéphanie Delaune Steve Kremer Mark Ryan

Published in: Towards Trustworthy Elections (2010)

Keyphrases

voting protocols
privacy preserving
personal information
sensor networks
wireless networks
model checking
security properties