• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verified Verifiers for Verifying Elections.

Thomas HainesRajeev GoréMukesh Tiwari
Published in: CCS (2019)
Keyphrases
  • model checking
  • data sets
  • databases
  • object recognition
  • learning algorithm
  • artificial intelligence
  • decision trees
  • mobile devices
  • voting schemes