论文标题
使用隐私的整数编程解决肾脏交换问题(更新和扩展版本)
Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming (Updated and Extended Version)
论文作者
论文摘要
肾脏交换问题(KEP)是要找到一个交换的星座,以最大程度地提高一组肾脏疾病患者及其不相容供体的患者可以进行的移植数量。最近,为了保护患者和捐助者的敏感医学数据,并减少操纵交易所计算的潜力,从隐私的角度解决了这个问题。但是,迄今为止,提出的方法要么仅计算针对KEP的近似解决方案,要么它们的性能下降巨大。在本文中,我们提出了一种新颖的隐私协议,该协议可以计算针对KEP的精确解决方案,并显着优于其他现有精确方法。我们的新颖协议基于整数编程,该计划是在非隐私保护案例中解决KEP的最有效方法。与迄今为止已知的隐私保护方法相比,我们通过扩展理想功能的输出以包括基础算法的终止决策来提高性能。我们在SMPC基准测试框架MP-SPDZ中实现了我们的协议,并将其性能与解决KEP的现有协议进行了比较。在本文的扩展版本中,我们还评估了是否以及是否可以从理想功能的扩展输出中推断出多少信息。
The kidney exchange problem (KEP) is to find a constellation of exchanges that maximizes the number of transplants that can be carried out for a set of pairs of patients with kidney disease and their incompatible donors. Recently, this problem has been tackled from a privacy perspective in order to protect the sensitive medical data of patients and donors and to decrease the potential for manipulation of the computing of the exchanges. However, the proposed approaches to date either only compute an approximative solution to the KEP or they suffer from a huge decrease in performance. In this paper, we suggest a novel privacy-preserving protocol that computes an exact solution to the KEP and significantly outperforms the other existing exact approaches. Our novel protocol is based on Integer Programming which is the most efficient method for solving the KEP in the non privacy-preserving case. We achieve an improved performance compared to the privacy-preserving approaches known to date by extending the output of the ideal functionality to include the termination decisions of the underlying algorithm. We implement our protocol in the SMPC benchmarking framework MP-SPDZ and compare its performance to the existing protocols for solving the KEP. In this extended version of our paper, we also evaluate whether and if so how much information can be inferred from the extended output of the ideal functionality.