Privacy-preserving functional IP verification utilizing fully homomorphic encryption

Charalambos Konstantinou, Anastasis Keliris, Mihalis Maniatakos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Intellectual Property (IP) verification is a crucial component of System-on-Chip (SoC) design in the modern IC design business model. Given a globalized supply chain and an increasing demand for IP reuse, IP theft has become a major concern for the IC industry. In this paper, we address the trust issues that arise between IP owners and IP users during the functional verification of an IP core. Our proposed scheme ensures the privacy of IP owners and users, by a) generating a privacy-preserving version of the IP, which is functionally equivalent to the original design, and b) employing homomorphically encrypted input vectors. This allows the functional verification to be securely outsourced to a third-party, or to be executed by either parties, while revealing the least possible information regarding the test vectors and the IP core. Experiments on both combinational and sequential benchmark circuits demonstrate up to three orders of magnitude IP verification slowdown, due to the computationally intensive fully homomorphic operations, for different security parameter sizes.

Original languageEnglish (US)
Title of host publicationProceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages333-338
Number of pages6
Volume2015-April
ISBN (Electronic)9783981537048
StatePublished - Jan 1 2015
Event2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 - Grenoble, France
Duration: Mar 9 2015Mar 13 2015

Other

Other2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015
CountryFrance
CityGrenoble
Period3/9/153/13/15

Fingerprint

Intellectual property
Cryptography
Sequential circuits
Supply chains
Industry

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Konstantinou, C., Keliris, A., & Maniatakos, M. (2015). Privacy-preserving functional IP verification utilizing fully homomorphic encryption. In Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 (Vol. 2015-April, pp. 333-338). [7092410] Institute of Electrical and Electronics Engineers Inc..

Privacy-preserving functional IP verification utilizing fully homomorphic encryption. / Konstantinou, Charalambos; Keliris, Anastasis; Maniatakos, Mihalis.

Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. Vol. 2015-April Institute of Electrical and Electronics Engineers Inc., 2015. p. 333-338 7092410.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Konstantinou, C, Keliris, A & Maniatakos, M 2015, Privacy-preserving functional IP verification utilizing fully homomorphic encryption. in Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. vol. 2015-April, 7092410, Institute of Electrical and Electronics Engineers Inc., pp. 333-338, 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015, Grenoble, France, 3/9/15.
Konstantinou C, Keliris A, Maniatakos M. Privacy-preserving functional IP verification utilizing fully homomorphic encryption. In Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. Vol. 2015-April. Institute of Electrical and Electronics Engineers Inc. 2015. p. 333-338. 7092410
Konstantinou, Charalambos ; Keliris, Anastasis ; Maniatakos, Mihalis. / Privacy-preserving functional IP verification utilizing fully homomorphic encryption. Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. Vol. 2015-April Institute of Electrical and Electronics Engineers Inc., 2015. pp. 333-338
@inproceedings{8f1af9cfe72d4bfdae7aea21ea1b15e9,
title = "Privacy-preserving functional IP verification utilizing fully homomorphic encryption",
abstract = "Intellectual Property (IP) verification is a crucial component of System-on-Chip (SoC) design in the modern IC design business model. Given a globalized supply chain and an increasing demand for IP reuse, IP theft has become a major concern for the IC industry. In this paper, we address the trust issues that arise between IP owners and IP users during the functional verification of an IP core. Our proposed scheme ensures the privacy of IP owners and users, by a) generating a privacy-preserving version of the IP, which is functionally equivalent to the original design, and b) employing homomorphically encrypted input vectors. This allows the functional verification to be securely outsourced to a third-party, or to be executed by either parties, while revealing the least possible information regarding the test vectors and the IP core. Experiments on both combinational and sequential benchmark circuits demonstrate up to three orders of magnitude IP verification slowdown, due to the computationally intensive fully homomorphic operations, for different security parameter sizes.",
author = "Charalambos Konstantinou and Anastasis Keliris and Mihalis Maniatakos",
year = "2015",
month = "1",
day = "1",
language = "English (US)",
volume = "2015-April",
pages = "333--338",
booktitle = "Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Privacy-preserving functional IP verification utilizing fully homomorphic encryption

AU - Konstantinou, Charalambos

AU - Keliris, Anastasis

AU - Maniatakos, Mihalis

PY - 2015/1/1

Y1 - 2015/1/1

N2 - Intellectual Property (IP) verification is a crucial component of System-on-Chip (SoC) design in the modern IC design business model. Given a globalized supply chain and an increasing demand for IP reuse, IP theft has become a major concern for the IC industry. In this paper, we address the trust issues that arise between IP owners and IP users during the functional verification of an IP core. Our proposed scheme ensures the privacy of IP owners and users, by a) generating a privacy-preserving version of the IP, which is functionally equivalent to the original design, and b) employing homomorphically encrypted input vectors. This allows the functional verification to be securely outsourced to a third-party, or to be executed by either parties, while revealing the least possible information regarding the test vectors and the IP core. Experiments on both combinational and sequential benchmark circuits demonstrate up to three orders of magnitude IP verification slowdown, due to the computationally intensive fully homomorphic operations, for different security parameter sizes.

AB - Intellectual Property (IP) verification is a crucial component of System-on-Chip (SoC) design in the modern IC design business model. Given a globalized supply chain and an increasing demand for IP reuse, IP theft has become a major concern for the IC industry. In this paper, we address the trust issues that arise between IP owners and IP users during the functional verification of an IP core. Our proposed scheme ensures the privacy of IP owners and users, by a) generating a privacy-preserving version of the IP, which is functionally equivalent to the original design, and b) employing homomorphically encrypted input vectors. This allows the functional verification to be securely outsourced to a third-party, or to be executed by either parties, while revealing the least possible information regarding the test vectors and the IP core. Experiments on both combinational and sequential benchmark circuits demonstrate up to three orders of magnitude IP verification slowdown, due to the computationally intensive fully homomorphic operations, for different security parameter sizes.

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

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

M3 - Conference contribution

AN - SCOPUS:84945950660

VL - 2015-April

SP - 333

EP - 338

BT - Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -