A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board.

Katharina Bräunlich Rüdiger Grimm

Published in: VoteID (2013)

Keyphrases

formal model
bulletin board
electronic voting
security properties
blind signature
secret sharing
security patterns