Fully Homomorphic NIZK and NIWI Proofs.

Prabhanjan Ananth Apoorvaa Deshpande Yael Tauman Kalai Anna Lysyanskaya

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

privacy preserving
theorem proving
theorem prover
decision procedures
digital libraries
data exchange
artificial intelligence
image processing
image segmentation
face recognition
hidden markov models
formal proof
formal proofs