Verified Verifiers for Verifying Elections.

Thomas Haines Rajeev 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