A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation.

Gilad Asharov Yehuda Lindell

Published in: Electron. Colloquium Comput. Complex. (2011)

Keyphrases

secure multiparty computation
privacy preserving
data perturbation
privacy preserving data mining
privacy issues
privacy protection
linear logic
knowledge discovery
theorem prover
sensitive information
data privacy
real world
formal proof
database
preprocessing
privacy preservation
search engine
databases