BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device.

Véronique Cortier Alicia Filipiak Joseph Lallemand

Published in: CSF (2019)

Keyphrases

security properties
noise free
additive gaussian noise
voting schemes
neural network
formal model
security analysis
voting method
portable devices
database
real time
image restoration
augmented reality
key management
force feedback
preference aggregation