CostCO: An automatic cost modeling framework for secure multi-party computation

Vivian Fang; Lloyd Brown; William Lin; Wenting Zheng; Aurojit Panda; Raluca Ada Popa

doi:10.1109/EuroSP53844.2022.00017

CostCO: An automatic cost modeling framework for secure multi-party computation

Vivian Fang, Lloyd Brown, William Lin, Wenting Zheng, Aurojit Panda, Raluca Ada Popa

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The last decade has seen an explosion in the number of new secure multi-party computation (MPC) protocols that enable collaborative computation on sensitive data. No single MPC protocol is optimal for all types of computation. As a result, researchers have created hybrid-protocol compilers that translate a program into a hybrid protocol that mixes different MPC protocols. Hybrid-protocol compilers crucially rely on accurate cost models, which are handwritten by the compilers' developers, to choose the correct schedule of protocols. In this paper, we propose CostCO, the first automatic MPC cost modeling framework. CostCO develops a novel API to interface with a variety of MPC protocols, and leverages domain-specific properties of MPC in order to enable efficient and automatic cost-model generation for a wide range of MPC protocols. CostCO employs a two-phase experiment design to efficiently synthesize cost models of the MPC protocol's runtime as well as its memory and network usage. We verify CostCO's modeling accuracy for several full circuits, characterize the engineering effort required to port existing MPC protocols, and demonstrate how hybrid-protocol compilers can leverage CostCO's cost models.

Original language	English (US)
Title of host publication	Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	140-153
Number of pages	14
ISBN (Electronic)	9781665416146
DOIs	https://doi.org/10.1109/EuroSP53844.2022.00017
State	Published - 2022
Event	7th IEEE European Symposium on Security and Privacy, Euro S and P 2022 - Genoa, Italy Duration: Jun 6 2022 → Jun 10 2022

Publication series

Name	Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022

Conference

Conference	7th IEEE European Symposium on Security and Privacy, Euro S and P 2022
Country/Territory	Italy
City	Genoa
Period	6/6/22 → 6/10/22

Keywords

cost modeling
hybrid protocols
MPC
secure computation
secure multi party computation

ASJC Scopus subject areas

Artificial Intelligence
Computer Networks and Communications
Information Systems
Information Systems and Management
Safety, Risk, Reliability and Quality

Access to Document

10.1109/EuroSP53844.2022.00017

Cite this

Fang, V., Brown, L., Lin, W., Zheng, W., Panda, A., & Popa, R. A. (2022). CostCO: An automatic cost modeling framework for secure multi-party computation. In Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022 (pp. 140-153). (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP53844.2022.00017

CostCO : An automatic cost modeling framework for secure multi-party computation. / Fang, Vivian; Brown, Lloyd; Lin, William et al.

Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 140-153 (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fang, V, Brown, L, Lin, W, Zheng, W, Panda, A & Popa, RA 2022, CostCO: An automatic cost modeling framework for secure multi-party computation. in Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022, Institute of Electrical and Electronics Engineers Inc., pp. 140-153, 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022, Genoa, Italy, 6/6/22. https://doi.org/10.1109/EuroSP53844.2022.00017

Fang V, Brown L, Lin W, Zheng W, Panda A, Popa RA. CostCO: An automatic cost modeling framework for secure multi-party computation. In Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Institute of Electrical and Electronics Engineers Inc. 2022. p. 140-153. (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022). doi: 10.1109/EuroSP53844.2022.00017

Fang, Vivian ; Brown, Lloyd ; Lin, William et al. / CostCO : An automatic cost modeling framework for secure multi-party computation. Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Institute of Electrical and Electronics Engineers Inc., 2022. pp. 140-153 (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022).

@inproceedings{46f3a676bcd54a4d9343559d255c87fe,

title = "CostCO: An automatic cost modeling framework for secure multi-party computation",

abstract = "The last decade has seen an explosion in the number of new secure multi-party computation (MPC) protocols that enable collaborative computation on sensitive data. No single MPC protocol is optimal for all types of computation. As a result, researchers have created hybrid-protocol compilers that translate a program into a hybrid protocol that mixes different MPC protocols. Hybrid-protocol compilers crucially rely on accurate cost models, which are handwritten by the compilers' developers, to choose the correct schedule of protocols. In this paper, we propose CostCO, the first automatic MPC cost modeling framework. CostCO develops a novel API to interface with a variety of MPC protocols, and leverages domain-specific properties of MPC in order to enable efficient and automatic cost-model generation for a wide range of MPC protocols. CostCO employs a two-phase experiment design to efficiently synthesize cost models of the MPC protocol's runtime as well as its memory and network usage. We verify CostCO's modeling accuracy for several full circuits, characterize the engineering effort required to port existing MPC protocols, and demonstrate how hybrid-protocol compilers can leverage CostCO's cost models.",

keywords = "cost modeling, hybrid protocols, MPC, secure computation, secure multi party computation",

author = "Vivian Fang and Lloyd Brown and William Lin and Wenting Zheng and Aurojit Panda and Popa, {Raluca Ada}",

note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022 ; Conference date: 06-06-2022 Through 10-06-2022",

year = "2022",

doi = "10.1109/EuroSP53844.2022.00017",

language = "English (US)",

series = "Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "140--153",

booktitle = "Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022",

}

TY - GEN

T1 - CostCO

T2 - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022

AU - Fang, Vivian

AU - Brown, Lloyd

AU - Lin, William

AU - Zheng, Wenting

AU - Panda, Aurojit

AU - Popa, Raluca Ada

PY - 2022

Y1 - 2022

N2 - The last decade has seen an explosion in the number of new secure multi-party computation (MPC) protocols that enable collaborative computation on sensitive data. No single MPC protocol is optimal for all types of computation. As a result, researchers have created hybrid-protocol compilers that translate a program into a hybrid protocol that mixes different MPC protocols. Hybrid-protocol compilers crucially rely on accurate cost models, which are handwritten by the compilers' developers, to choose the correct schedule of protocols. In this paper, we propose CostCO, the first automatic MPC cost modeling framework. CostCO develops a novel API to interface with a variety of MPC protocols, and leverages domain-specific properties of MPC in order to enable efficient and automatic cost-model generation for a wide range of MPC protocols. CostCO employs a two-phase experiment design to efficiently synthesize cost models of the MPC protocol's runtime as well as its memory and network usage. We verify CostCO's modeling accuracy for several full circuits, characterize the engineering effort required to port existing MPC protocols, and demonstrate how hybrid-protocol compilers can leverage CostCO's cost models.

AB - The last decade has seen an explosion in the number of new secure multi-party computation (MPC) protocols that enable collaborative computation on sensitive data. No single MPC protocol is optimal for all types of computation. As a result, researchers have created hybrid-protocol compilers that translate a program into a hybrid protocol that mixes different MPC protocols. Hybrid-protocol compilers crucially rely on accurate cost models, which are handwritten by the compilers' developers, to choose the correct schedule of protocols. In this paper, we propose CostCO, the first automatic MPC cost modeling framework. CostCO develops a novel API to interface with a variety of MPC protocols, and leverages domain-specific properties of MPC in order to enable efficient and automatic cost-model generation for a wide range of MPC protocols. CostCO employs a two-phase experiment design to efficiently synthesize cost models of the MPC protocol's runtime as well as its memory and network usage. We verify CostCO's modeling accuracy for several full circuits, characterize the engineering effort required to port existing MPC protocols, and demonstrate how hybrid-protocol compilers can leverage CostCO's cost models.

KW - cost modeling

KW - hybrid protocols

KW - MPC

KW - secure computation

KW - secure multi party computation

UR - http://www.scopus.com/inward/record.url?scp=85134053073&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85134053073&partnerID=8YFLogxK

U2 - 10.1109/EuroSP53844.2022.00017

DO - 10.1109/EuroSP53844.2022.00017

M3 - Conference contribution

AN - SCOPUS:85134053073

T3 - Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022

SP - 140

EP - 153

BT - Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 6 June 2022 through 10 June 2022

ER -

CostCO: An automatic cost modeling framework for secure multi-party computation

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this