Efficient Set Intersection with Simulation-Based Security

• Published in: Journal of cryptology Vol. 29; no. 1; pp. 115 - 155
• Main Authors: Freedman, Michael J., Hazay, Carmit, Nissim, Kobbi, Pinkas, Benny
• Format: Journal Article
• Language: English
• Published: New York Springer US 01.01.2016; Springer Nature B.V
• Subjects: Asymptotic properties; Coding and Information Theory; Combinatorics; Communications Engineering; Computational Mathematics and Numerical Analysis; Computer Science; Computer simulation; Datasets; Encryption; Networks; Polynomials; Probability Theory and Stochastic Processes; Protocol; Hashing Scheme; Random Oracle; Simulation-based Security; Cuckoo Hashing; Semi-honest Setting
• ISSN: 0933-2790; 1432-1378
• DOI: 10.1007/s00145-014-9190-0

We consider the problem of computing the intersection of private datasets of two parties, where the datasets contain lists of elements taken from a large domain. This problem has many applications for online collaboration. In this work, we present protocols based on the use of homomorphic encryption and different hashing schemes for both the semi-honest and malicious environments. The protocol for the semi-honest environment is secure in the standard model, while the protocol for the malicious environment is secure in the random oracle model. Our protocols obtain linear communication and computation overhead. We further implement different variants of our semi-honest protocol. Our experiments show that the asymptotic overhead of the protocol is affected by different constants. (In particular, the degree of the polynomials evaluated by the protocol matters less than the number of polynomials that are evaluated.) As a result, the protocol variant with the best asymptotic overhead is not necessarily preferable for inputs of reasonable size.