Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer.

Rolf Haenni Reto E. Koenig Eric Dubuis

Published in: E-VOTE-ID (2016)

Keyphrases

knowledge transfer
design automation
model checking
verification method
neural network
transfer learning
face verification
database
formal methods
formal analysis
artificial intelligence
social networks
metadata
person identification
electronic documents
voting schemes