A Verifiable Voting Protocol Based on Farnel.

Roberto Araújo Ricardo Felipe Custódio Jeroen van de Graaf

Published in: Towards Trustworthy Elections (2010)

Keyphrases

voting protocols
electronic voting
lightweight
secret sharing
voting method
formal analysis
sufficient conditions
communication protocol
data sets
cryptographic protocols
coloured petri nets
application layer
ip address
multi party
secret sharing scheme