Blind, Auditable Membership Proofs.

Tomas Sander Amnon Ta-Shma Moti Yung

Published in: Financial Cryptography (2000)

Keyphrases

theorem proving
theorem prover
motion deblurring
neural network
web accessibility
formal proofs
image processing
face recognition
multiresolution
database systems
decision procedures
natural deduction
decision making
fuzzy membership
formal proof
learning algorithm
data sets
equational theories