Satisfiability modulo counting: a new approach for analyzing privacy properties.

Matthew Fredrikson Somesh Jha

Published in: CSL-LICS (2014)

Keyphrases

privacy preserving
np complete
structural properties
desirable properties
personal information
neural network
data mining
computational complexity
orders of magnitude
statistical databases
privacy preservation
privacy aware