On the Concurrent Composition of Zero-Knowledge Proofs.
Ransom RichardsonJoe KilianPublished in: EUROCRYPT (1999)
Keyphrases
- prior knowledge
- knowledge extraction
- knowledge acquisition
- knowledge discovery
- theorem proving
- learning systems
- data mining techniques
- knowledge representation
- domain knowledge
- expert systems
- neural network
- data sets
- knowledge base
- database
- artificial intelligence
- real world
- domain experts
- knowledge sharing
- human experts
- concept maps
- theorem prover
- real time