Abstrakt. Privata set intersektion (PSI) protokoll har många verkliga applikationer. Med uppkomsten av cloud computing uppstår behovet av att utföra PSI på outsourcade dataset där beräkningen delegeras till molnet. På grund av möjligheten av cloud missuppfostrans, är det dock viktigt att kontrollera integriteten för alla outsourcade dataset, och resultatet av delegerade beräkningar. Verifierbar beräkning av privata datauppsättningar som inte läcker någon information om data är mycket utmanande, särskilt när datauppsättningarna läggs ut självständigt av olika kunder. I detta dokument presenterar vi VD-PSI, ett protokoll som tillåter flera kunder att outsourca sina privata datauppsättningar och delegera beräkning av set skärningspunkt till molnet, samtidigt som de kan verifiera att resultatet är korrekt. Kunderna kan självständigt förbereda och ladda upp sina dataset, och med deras samtycke kan verifierbart delegera beräkningen av set skärningspunkt ett obegränsat antal gånger, utan att behöva ladda ner eller underhålla en lokal kopia av sina data. Protokollet säkerställer att molnet lär sig ingenting om dataset och skärningspunkten. VD-PSI är effektivt eftersom dess verifieringskostnader är linjära till skärningspunktens kardinalitet, och dess beräknings- och kommunikationskostnader är linjära till datauppsättningens kardinalitet. Dessutom tillhandahåller vi en formell säkerhetsanalys i standardmodellen.
Abadi m.fl. REF föreslår ett protokoll som stöder kontrollerbar delegerad privat uppsättning skärningspunkt på outsourcade dataset.
VD-PSI: Verifiable Delegated Private Set Intersection on Outsourced Private Datasets
{'venue': 'Financial Cryptography', 'journal': None, 'mag_field_of_study': ['Computer Science']}