$\text{MP}\ell\circ \mathrm{C}$: Privacy-Preserving IP Verification Using Logic Locking and Secure Multiparty Computation

Dimitris Mouris; Charles Gouert; Nektarios Georgios Tsoutsos

Paper 2023/511

$\text{MP}\ell\circ \mathrm{C}$: Privacy-Preserving IP Verification Using Logic Locking and Secure Multiparty Computation

Dimitris Mouris

, University of Delaware

Charles Gouert

, University of Delaware

Nektarios Georgios Tsoutsos

, University of Delaware

Abstract

The global supply chain involves multiple independent entities, and potential adversaries can exploit different attack vectors to steal proprietary designs and information. As a result, intellectual property (IP) owners and consumers have reasons to keep their designs private. Without a trusted third party, this mutual mistrust can lead to a deadlock where IP owners are unwilling to disclose their IP core before a financial agreement is reached, while consumers need assurance that the proprietary design will meet their integration needs without compromising the confidentiality of their test vectors. To address this challenge, we introduce an efficient framework called MPloC that resolves this deadlock by allowing owners and consumers to jointly evaluate the target design with consumer-supplied test vectors while preserving the privacy of both the IP core and the inputs. MPloC is the first work that combines secure multiparty computation (MPC) and logic-locking techniques to accomplish these goals. Our approach supports both semi-honest and malicious security models to allow users to balance stronger security guarantees with performance. We compare our approach to existing state-of-the-art works that utilize homomorphic encryption across several benchmarks and report runtime improvements of more than two orders of magnitude.

Note: This work is presented at the 2023 IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS). The MPloC source code repository is available here: https://github.com/TrustworthyComputing/mploc

Metadata

Available format(s): PDF
Category: Applications
Publication info: Published elsewhere. 2023 IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS)
DOI: 10.1109/IOLTS59296.2023.10224859
Keywords: Applied Cryptography Hardware Security Multiparty Computation Intellectual Property Verification
Contact author(s): jimouris @ udel edu
cgouert @ udel edu
tsoutsos @ udel edu
History: 2023-09-06: last of 2 revisions; 2023-04-08: received; See all versions
Short URL: https://ia.cr/2023/511
License: CC BY

BibTeX

@misc{cryptoeprint:2023/511,
      author = {Dimitris Mouris and Charles Gouert and Nektarios Georgios Tsoutsos},
      title = {$\text{{MP}}\ell\circ \mathrm{C}$: Privacy-Preserving {IP} Verification Using Logic Locking and Secure Multiparty Computation},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/511},
      year = {2023},
      doi = {10.1109/IOLTS59296.2023.10224859},
      url = {https://eprint.iacr.org/2023/511}
}