Loading patent…
AssigneeNew York University
InventorsMichail MANIATAKOS, Charalambos Konstantinou, Anastasis Keliris
Estimating the term…
A privacy-preserving verification methodology for SoC computing systems is described. The verification methodology utilizes the principles of Multi-Party Computation (“MPC”), and enables meaningful manipulation of encrypted data in the encrypted domain through the use of a fully homomorphic encryption (“FHE”) scheme. In the described verification methodology, IP logic is transformed and test vectors utilized to verify the IP logic are encrypted. The parties involved in the verification (e.g., the designer, the manufacturer, a third-party verification service, etc.) can functionally verify the IP core via the encrypted test vectors while the encrypted test vectors remain in the encrypted domain. Accordingly, the IP core is verified without revealing unwarranted information, such as the underlying IP behind the SoC.
A method of verifying an intellectual property (“IP”) core with test vectors in the encrypted domain between at least two parties, the at least two parties including an IP owner and an IP user, the method comprising:
A computer-implemented machine for verifying an intellectual property (“IP”) core with test vectors in the encrypted domain between at least two parties, the at least two parties including an IP owner and an IP user, comprising:
Dependencies are inferred from the claim text.