Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
intellectual property verification
biblio
Pythia: Intellectual Property Verification in Zero-Knowledge
Submitted by aekwall on Mon, 06/28/2021 - 11:39am
Logic gates
intellectual property security
zero-knowledge proofs
trustworthy hardware
IP theft
intellectual property verification
Hardware design languages
Transforms
Hardware Security
IP networks
integrated circuits
Indexes
Cryptography
policy-based governance
composability
pubcrawl
Resiliency
biblio
Privacy-preserving functional IP verification utilizing fully homomorphic encryption
Submitted by grigby1 on Wed, 03/08/2017 - 1:33pm
IP theft
system-on-chip
SoC design
sequential benchmark circuits
security parameter sizes
pubcrawl170112
privacy-preserving version
privacy-preserving functional IP verification
Noise
magnitude IP verification
Logic gates
Libraries
IP users
Cryptography
IP reuse
IP networks
IP core
intellectual property verification
industrial property
IC industry
IC design business model
globalized supply chain
functional verification
fully homomorphic encryption
encryption
data privacy
