Indistinguishable Proofs of Work or Knowledge.

Foteini Baldimtsi Aggelos Kiayias Thomas Zacharias Bingsheng Zhang

Published in: ASIACRYPT (2) (2016)

Keyphrases

domain knowledge
theorem prover
knowledge base
expert systems
neural network
knowledge based systems
knowledge acquisition
knowledge representation
knowledge discovery
knowledge management
formal proof
knowledge transfer
prior knowledge
digital libraries
web pages
information systems
data mining