Visible to the public Privacy-preserving functional IP verification utilizing fully homomorphic encryption

TitlePrivacy-preserving functional IP verification utilizing fully homomorphic encryption
Publication TypeConference Paper
Year of Publication2015
AuthorsKonstantinou, C., Keliris, A., Maniatakos, M.
Conference Name2015 Design, Automation Test in Europe Conference Exhibition (DATE)
Date Publishedmar
Keywordscryptography, data privacy, Encryption, fully homomorphic encryption, functional verification, globalized supply chain, IC design business model, IC industry, industrial property, intellectual property verification, IP core, IP networks, IP reuse, IP theft, IP users, Libraries, Logic gates, magnitude IP verification, Noise, privacy-preserving functional IP verification, privacy-preserving version, pubcrawl170112, security parameter sizes, sequential benchmark circuits, SoC design, system-on-chip

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.

Citation Keykonstantinou_privacy-preserving_2015