Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios.

Published in: J. Comput. Secur. (2021)

Keyphrases

sufficient conditions
linear systems
exponential stability
equilibrium point
fixed point
key management
security analysis
asymptotic stability
asymptotic optimality
efficiently computable