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

Gilad Asharov Yehuda Lindell

Published in: J. Cryptol. (2017)

Keyphrases

secure multiparty computation
privacy preserving
privacy preserving data mining
privacy preservation
data privacy
privacy issues
data perturbation
theorem prover
database
formal proof
information retrieval systems
lightweight
intrusion detection
metadata
linear logic
privacy guarantees
social networks