Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.
Alessandro BruniEva DrewsenCarsten SchürmannPublished in: E-VOTE-ID (2017)
Keyphrases
- privacy preserving
- personal information
- private information
- security issues
- statistical databases
- privacy protection
- personal data
- security concerns
- differential privacy
- mathematical proofs
- privacy concerns
- sensitive data
- privacy preserving data mining
- voting schemes
- individual privacy
- sensitive information
- location privacy
- natural deduction
- theorem prover
- privacy aware
- privacy enhancing
- preserving privacy
- privacy requirements
- private data
- privacy preservation
- data sets
- data privacy
- theorem proving