MétaCan
Menu
Retour à la cohorte
Enregistrement W4324007040 · doi:10.14722/ndss.2023.23198

Faster Secure Comparisons with Offline Phase for Efficient Private Set Intersection

2023· article· en· W4324007040 sur OpenAlex

Pourquoi ce travail est dans la base

Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.

affAu moins un auteur déclare une institution canadienne dans l'instantané OpenAlex épinglé.
fundUn bailleur canadien est enregistré sur le travail.

Notice bibliographique

Revuenon disponible
Typearticle
Langueen
DomaineComputer Science
ThématiqueCryptography and Data Security
Établissements canadiensUniversity of Waterloo
Organismes subventionnairesNatural Sciences and Engineering Research Council of CanadaRoyal Bank of Canada
Mots-clésIntersection (aeronautics)Computer scienceSet (abstract data type)Phase (matter)Computer securityProgramming languageEngineeringTransport engineering

Résumé

récupéré en direct d'OpenAlex

In a Private section intersection (PSI) protocol, Alice and Bob compute the intersection of their respective sets without disclosing any element not in the intersection.PSI protocols have been extensively studied in the literature and are deployed in industry.With state-of-the-art protocols achieving optimal asymptotic complexity, performance improvements are rare and can only improve complexity constants.In this paper, we present a new private, extremely efficient comparison protocol that leads to a PSI protocol with low constants.A useful property of our comparison protocol is that it can be divided into an online and an offline phase.All expensive cryptographic operations are performed during the offline phase, and the online phase performs only four fast field operations per comparison.This leads to an incredibly fast online phase, and our evaluation shows that it outperforms related work, including KKRT (CCS'16), VOLE-PSI (EuroCrypt'21), and OKVS (Crypto'21).We also evaluate standard approaches to implement the offline phase using different trust assumptions: cryptographic, hardware, and a third party ("dealer model"). I. INTRODUCTIONCompanies collect increasingly larger amounts of data about their customers' operation.Each company collects different data depending on their business, and the combination of these different data sets offers greater benefit than each set by itself.A standard example is Google collecting which user clicks on which online ad while Mastercard collects financial transactions performed by its clients using their cards.To allow Google to compute the number of successful transactions after a user clicked on an online ad, Google and Mastercard link their data based on a common user identifier, e.g., the user's phone number.Abstractly, this is an instance of Private Set Intersection (PSI).In PSI, two parties, each have a set of (unique) elements and want to compute their intersection without revealing any element not in the intersection.PSI is indeed deployed by Google and Mastercard to analyze ad conversions [43,83], but it has many more applications.Consequently, PSI has recently been extensively studied in the literature [1, 12-17, 19, 22, 26-28, 31-33, 39, 41, 43, 47, 52, 55-58, 60-63, 66-72, 74-76, 83].The currently most efficient state-of-the-art PSI protocols are based on oblivious pseudo-random functions [15,57,76].They require a constant number of publickey cryptography operations, linearly many symmetric key cryptography operations, and one round of interaction.This is asymptotically optimal, and any performance improvement can only stem from reduced constants which are, however, already very low.We note that PSI requires public-key operations, since two-party computation can be reduced to PSI (see our reduction in Section II-D), and two-party computation requires public-key operations.Hence, any (new) approach must deal with these unavoidable and expensive operations.In this paper, we present a new (equality) comparison protocol that is simple, elegant, and very efficient.Our comparison protocol improves over the state-of-the-art in two aspects: first, it reduces (equality) comparison to oblivious linear evaluation (OLE), and, second, it enables the use of offline precomputed OLE tuples instead of computing the OLE online.This results in an alternative construction of PSI that off-loads all expensive cryptographic operations, public and symmetric key, to an initial offline phase.The offline phase precomputes correlated randomness and can be run in advance, independently of the inputs to the protocol.The online phase uses this randomness and the inputs to securely compute the output.Our online phase is highly efficient, comprising only four fast operations in a small field, i.e., one multiplication and three additions per comparison.Moreover, it takes only one round.The offline phase can be implemented using standard approaches based on only cryptographic assumptions, e.g., using lattice-based homomorphic encryption or Oblivious Transfer (OT), but also based on more efficient hardware or other trust assumptions, such as a trusted third party ("dealer model" [38]). A. Why consider an offline phase?Our offline phase enables a very fast online phase.In Figure 1 we display a comparison of computation time and communication cost to related work [15,33,57,70,76] for a data set size of 1 million elements in the online phase online.Note that VOLE-PSI [76] requires less communication for these small sets.On a larger data set with 16 million elements our online phase is between 2.4 and 3.5 times faster than Kolesnikov et al.'s work [57] and 1.2 and 14.6 times faster than Rindal and Schoppmann's work [76] while requiring less communication than either one of them.In general, our advantage increases as data set sizes grow, but Rindal and Schoppmann neither make their code available nor do they report evaluation results for larger data set sizes which makes

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,000
score de la tête « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesaucune
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Simulation ou modélisation · Signal consensuel: aucune
GenreSignal candidat: Empirique · Signal consensuel: aucune
Score de désaccord entre enseignants0,927
Score d'incertitude au seuil0,348

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0000,000
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0000,001
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0000,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modèle a refusé de juger)0,0000,000

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,034
Tête enseignante GPT0,305
Écart entre enseignants0,271 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle

En bref

Citations17
Publié2023
Routes d'admission2
Résumé présentoui

Explorer davantage

Même sujetCryptography and Data SecurityTravaux en français237 207