Login / Signup
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