Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries.
Martin PettaiPeeter LaudPublished in: IACR Cryptol. ePrint Arch. (2014)
Keyphrases
- semi honest
- privacy preserving
- secure multi party computation
- scalar product
- privacy preserving data mining
- multi party
- homomorphic encryption
- differential privacy
- vertically partitioned data
- privacy preservation
- sensitive information
- private information
- privacy protection
- data mining
- search engine
- privacy concerns
- public key
- dot product