Random Block Verification: Improving the Norwegian Electoral Mix-Net.

Denise Demirel Hugo Jonker Melanie Volkamer

Published in: Electronic Voting (2012)

Keyphrases

model checking
databases
neural network
digital images
fixed size
real time
artificial intelligence
image processing
data structure
bit rate
formal methods