A Formal Model for Secure Multiparty Computation.

Amy Rathore Marina Blanton Marco Gaboardi Lukasz Ziarek

Published in: CoRR (2023)

Keyphrases

formal model
secure multiparty computation
privacy preserving
privacy preserving data mining
privacy preservation
formal models
predicate calculus
privacy protection
security properties
data perturbation
sensitive information
database
privacy issues
information retrieval
peer to peer
social media
data privacy