Privacy-preserving functional IP verification utilizing fully homomorphic encryption

Charalambos Konstantinou, Anastasis Keliris, Michail 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
ISBN (Electronic)9783981537048
DOIs
StatePublished - Apr 22 2015
Event2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 - Grenoble, France
Duration: Mar 9 2015Mar 13 2015

Publication series

NameProceedings -Design, Automation and Test in Europe, DATE
Volume2015-April
ISSN (Print)1530-1591

Other

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

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Privacy-preserving functional IP verification utilizing fully homomorphic encryption'. Together they form a unique fingerprint.

  • 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 (pp. 333-338). [7092410] (Proceedings -Design, Automation and Test in Europe, DATE; Vol. 2015-April). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.7873/date.2015.1049