Toward Practical Secure Stable Matching

Abstract

Abstract:The Stable Matching (SM) algorithm has been deployed in many real-world scenarios including the National Residency Matching Program (NRMP) and financial applications such as matching of suppliers and consumers in capital markets. Since these applications typically involve highly sensitive information such as the underlying preference lists, their current implementations rely on trusted third parties. This paper introduces the first provably secure and scalable implementation of SM based on Yao's garbled circuit protocol and Oblivious RAM (ORAM). Our scheme can securely compute a stable match for 8k pairs four orders of magnitude faster than the previously best known method. We achieve this by introducing a compact and efficient sub-linear size circuit. We even further decrease the computation cost by three orders of magnitude by proposing a novel technique to avoid unnecessary iterations in the SM algorithm. We evaluate our implementation for several problem sizes and plan to publish it as open-source.

A Verifiable Multiparty Computation Solver for the Assignment Problem and Applications to Air Traffic Management

“…A first MPC-based implementation was presented by (Doerner et al, 2016), scaling to multiple thousand input values. A first provably secure and scalable implementation was later presented by (Riazi et al, 2017) based on garbled circuits (Yao, 1986).…”