Login / Signup
On the Security Properties of e-Voting Bulletin Boards.
Aggelos Kiayias
Annabell Kuldmaa
Helger Lipmaa
Janno Siim
Thomas Zacharias
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
security properties
bulletin board
formal model
security requirements
security analysis
security protocols
cryptographic protocols
formal methods
data mining
database systems
data processing
software architecture