A method for unbounded verification of privacy-type properties.
Lucca HirschiDavid BaeldeStéphanie DelaunePublished in: J. Comput. Secur. (2019)
Keyphrases
- synthetic data
- significant improvement
- experimental evaluation
- computationally efficient
- fully automatic
- error rate
- detection method
- clustering method
- detection algorithm
- optimization algorithm
- neural network
- high accuracy
- computational cost
- pairwise
- computational complexity
- theoretical analysis
- cost function
- segmentation method
- decision trees