Login / Signup
A New Fully Auditable Proposal for an Internet Voting System with Secure Individual Verification and Complaining Capabilities.
Maider Huarte
Iñaki Goirizelaia
Juan José Unzilla
Jon Matías
Juan J. Igarza
Published in:
SECRYPT (2013)
Keyphrases
</>
internet voting
cryptographic protocols
model checking
neural network
computational power
formal verification
real time
case study
face verification