Trivitas: Voters Directly Verifying Votes.

Sergiu Bursuc Gurchetan S. Grewal Mark Dermot Ryan

Published in: VoteID (2011)

Keyphrases

voting protocols
viewpoint
database
data sets
information systems
bayesian networks
cooperative
data analysis
multiresolution
multi class
model checking
temporal logic