Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification.
Michael BackesFabian BendunDominique UnruhPublished in: POST (2013)
Keyphrases
- domain knowledge
- knowledge base
- expert systems
- knowledge representation
- neural network
- intermediate level
- data sets
- face verification
- knowledge sharing
- knowledge acquisition
- data mining techniques
- knowledge management
- genetic algorithm
- knowledge based systems
- higher level
- high level
- knowledge sources
- knowledge transfer
- production rules
- learning algorithm