<p>A Private Set Union (PSU) protocol involves two participants –the sender and the receiver–computing the union of their privately held sets, <i>X</i> and <i>Y</i>, and outputting the result to the receiver. PSU protocols are categorized into balanced (<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10207_2025_1088_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(|X| \approx |Y|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mo>≈</mo> <mo stretchy="false">|</mo> <mi>Y</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>) and unbalanced (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10207_2025_1088_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(|X| \ll |Y|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mo>≪</mo> <mo stretchy="false">|</mo> <mi>Y</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10207_2025_1088_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(|X| \gg |Y|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mo>≫</mo> <mo stretchy="false">|</mo> <mi>Y</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>) settings. Tu et al. (CCS 2023) developed the first efficient unbalanced PSU (<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10207_2025_1088_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(|X| \ll |Y|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mo>≪</mo> <mo stretchy="false">|</mo> <mi>Y</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>) protocol using Cuckoo hashing and a novel permuted Reversed Private Membership Test (p-RPMT) protocol. In this paper, we propose two security models: a statistical non-leaky model and a computational non-leaky model, both of which are stronger than the semi-honest model. We reassess Tu et al.’s protocol and present an attack on the protocol, showing that their solution leaks the sender’s inputs to the receiver. We estimate the lower bound of our attack’s success probability and highlight how Tu’s parameter choices lead to leaks, which can be extended to other protocols using the Hash + RPMT framework. To counter these vulnerabilities, we offer two mitigation strategies with different tradeoffs. Finally, we optimize the p-RPMT protocol by introducing a new shuffled-PMT (s-PMT) under the semi-honest model, which eliminates one permutation round at no extra cost.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Revisiting Cuckoo Hash-based Unbalanced Private Set Union: Leakage Analysis and Better Construction

  • Keyang Liu,
  • Xingxin Li,
  • Tsuyoshi Takagi

摘要

A Private Set Union (PSU) protocol involves two participants –the sender and the receiver–computing the union of their privately held sets, X and Y, and outputting the result to the receiver. PSU protocols are categorized into balanced ( \(|X| \approx |Y|\) | X | | Y | ) and unbalanced ( \(|X| \ll |Y|\) | X | | Y | or \(|X| \gg |Y|\) | X | | Y | ) settings. Tu et al. (CCS 2023) developed the first efficient unbalanced PSU ( \(|X| \ll |Y|\) | X | | Y | ) protocol using Cuckoo hashing and a novel permuted Reversed Private Membership Test (p-RPMT) protocol. In this paper, we propose two security models: a statistical non-leaky model and a computational non-leaky model, both of which are stronger than the semi-honest model. We reassess Tu et al.’s protocol and present an attack on the protocol, showing that their solution leaks the sender’s inputs to the receiver. We estimate the lower bound of our attack’s success probability and highlight how Tu’s parameter choices lead to leaks, which can be extended to other protocols using the Hash + RPMT framework. To counter these vulnerabilities, we offer two mitigation strategies with different tradeoffs. Finally, we optimize the p-RPMT protocol by introducing a new shuffled-PMT (s-PMT) under the semi-honest model, which eliminates one permutation round at no extra cost.