Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries.
Martin PettaiPeeter LaudPublished in: CSF (2015)
Keyphrases
- semi honest
- privacy preserving
- secure multi party computation
- privacy preserving data mining
- homomorphic encryption
- scalar product
- multi party
- privacy preservation
- data mining
- data sharing
- dot product
- vertically partitioned data
- privacy concerns
- database
- set intersection
- knowledge discovery
- statistical databases
- differential privacy
- high dimensional