Login / Signup

Trivitas: Voters Directly Verifying Votes.

Sergiu BursucGurchetan S. GrewalMark 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