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
zero-knowledge proofs
biblio
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs
Submitted by grigby1 on Thu, 07/20/2023 - 3:16pm
ethereum
zero-knowledge proofs
Programming Language
compilation
Homomorphic encryption
blockchains
Costs
annotations
Resiliency
expert systems
blockchain
smart contracts
encoding
data privacy
privacy
Scalability
resilience
Human behavior
pubcrawl
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
Accumulators with Applications to Anonymity-Preserving Revocation
Submitted by grigby1 on Mon, 04/02/2018 - 11:31am
Human behavior
zero-knowledge proofs
user authentication
Theorem Proving
RSA-based dynamic accumulator
revocation functionality
revocation
Resiliency
resilience
public key cryptography
pubcrawl
Plugs
optimal communication complexity
Metrics
message authentication
membership revocation
accumulators
Heuristic algorithms
Cryptography
cryptographic applications
composability
Complexity theory
communication complexity
Braavos construction
authentication
ARC
anonymous revocation component
anonymous credentials
anonymous credential systems
anonymity-preserving revocation
anonymity
Additives
biblio
Pinocchio: Nearly Practical Verifiable Computation
Submitted by Heather Lucas on Wed, 09/17/2014 - 5:34pm
base protocol
C language
correctness verification
cryptographic assumptions
Cryptographic Protocols
end-to-end toolchain
formal verification
general-purpose system
Pinocchio
program compilers
public evaluation key
public key cryptography
public verification key
verifiable computation protocol
zero-knowledge proofs
