Proofs of Ignorance and Applications to 2-Message Witness Hiding.

Apoorvaa Deshpande Yael Kalai

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

Keyphrases

email
theorem proving
databases
equational theories
evolutionary algorithm
formal proofs
machine learning
information retrieval
decision procedures
natural deduction
mathematical knowledge
mathematical proofs