sVote with Control Components Voting Protocol. Computational Proof of Complete Verifiability and Privacy.
Enrique LarraiaTamara FinoginaNúria CostaPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- security properties
- formal proof
- control system
- privacy preserving
- homomorphic encryption
- electronic voting
- cryptographic protocols
- authentication protocol
- control method
- security protocols
- privacy preservation
- computationally tractable
- private information
- rfid systems
- control strategy
- secure multiparty computation
- floor control
- voting method
- location privacy
- user privacy
- trusted third party
- theorem prover
- personal information