Estonian Voting Verification Mechanism Revisited Again.

Ivo Kubjas Tiit Pikma Jan Willemson

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

model checking
voting method
database
selection mechanism
electronic voting
real time
databases
neural network
learning environment
distributed systems
temporal logic
formal methods
formal analysis
formal verification
asynchronous circuits
voting schemes