Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.
Michael BackesFabian BendunDominique UnruhPublished in: IACR Cryptol. ePrint Arch. (2012)
Keyphrases
- knowledge base
- expert systems
- domain knowledge
- decision trees
- knowledge acquisition
- learning systems
- knowledge extraction
- data sets
- knowledge management
- computational power
- knowledge sharing
- computational chemistry
- symbolic knowledge
- intermediate level
- computer programs
- theorem proving
- background knowledge
- logic programs
- knowledge discovery
- prior knowledge
- case study
- e learning