Witness-hiding proofs of knowledge for cable locks.
Chen-Da Liu ZhangUeli MaurerMartin RaszykDaniel TschudiPublished in: ISIT (2017)
Keyphrases
- domain knowledge
- knowledge management
- expert systems
- knowledge acquisition
- knowledge base
- knowledge extraction
- knowledge transfer
- knowledge sources
- data mining techniques
- prior knowledge
- domain specific
- data model
- knowledge based systems
- higher level
- semantic information
- background knowledge
- knowledge sharing
- theorem proving
- genetic algorithm
- neural network