Syntax-Driven Private Evaluation of Quantified Membership Queries

Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inclusion and disjointness. These operations are basic tools in set-theoretic data-mining procedures such as frequent-itemset-mining. In this work we formalize a family of such queries syntactically and we consider how they can be evaluated in a privacy-preserving fashion. We present a syntax-driven compiler that produces a protocol for each query and we show that semantically such queries correspond to basic set operation predicates between datasets. Using our compiler and based on the fact that it is syntax-driven, two parties can generate various privacy-preserving protocols with different complexity behavior that allow them to efficiently and securely evaluate the predicate of interest without sharing information about the datasets they possess. Our compiler sheds new light on the complexity of privacy-prese...

• Type: Conference
• Year: 2006
• Where: ACNS
• Authors: Aggelos Kiayias, Antonina Mitrofanova
• Keywords: ACNS 2006, Basic Predicate Operations, Cryptology, Membership Queries, Set-theoretic Data-mining Procedures