Unification modulo Homomorphic Encryption is Decidable.

Siva Anantharaman Hai Lin Christopher Lynch Paliath Narendran Michaël Rusinowitch

Published in: UNIF (2008)

Keyphrases

homomorphic encryption
privacy preserving
function symbols
data sharing
encryption scheme
public key
first order logic
data access
data mining
data privacy
databases
peer to peer
information sharing
distributed data
privacy protection
privacy concerns