Fully Homomorphic NIZK and NIWI Proofs.

Prabhanjan Ananth Apoorvaa Deshpande Yael Tauman Kalai Anna Lysyanskaya

Published in: TCC (2) (2019)

Keyphrases

data exchange
genetic algorithm
three dimensional
privacy preserving
automated theorem provers
real time
databases
learning algorithm
optimal solution
medical images
theorem prover