Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries

• Published in: Journal of cryptology 2010-07, Vol.23 (3), p.422-456
• Main Authors: Hazay, Carmit, Lindell, Yehuda
• Format: Article
• Language: English
• Subjects: Applied sciences; Coding and Information Theory; Combinatorics; Communications Engineering; Computational Mathematics and Numerical Analysis; Computer Science; Computer simulation; Exact sciences and technology; Information, signal and communications theory; Networks; Pattern matching; Pattern recognition; Polynomials; Probability Theory and Stochastic Processes; Pseudorandom; Security; Signal processing; Telecommunications and information theory
• ISSN: 0933-2790; 1432-1378
• DOI: 10.1007/s00145-008-9034-x

In this paper, we construct efficient secure protocols for set intersection and pattern matching . Our protocols for secure computing the set intersection functionality are based on secure pseudorandom function evaluations, in contrast to previous protocols that are based on polynomials. In addition to the above, we also use secure pseudorandom function evaluation in order to achieve secure pattern matching. In this case, we utilize specific properties of the Naor–Reingold pseudorandom function in order to achieve high efficiency. Our results are presented in two adversary models. Our protocol for secure pattern matching and one of our protocols for set intersection achieve security against malicious adversaries under a relaxed definition where one corruption case is simulatable and, for the other, only privacy (formalized through indistinguishability) is guaranteed. We also present a protocol for set intersection that is fully simulatable in the model of covert adversaries. Loosely speaking, this means that a malicious adversary can cheat but will then be caught with good probability.