Enhancing Code Based Zero-Knowledge Proofs Using Rank Metric.
Emanuele BelliniPhilippe GaboritAlexandros HasikosVíctor MateuPublished in: CANS (2020)
Keyphrases
- domain knowledge
- source code
- knowledge acquisition
- prior knowledge
- metric space
- knowledge representation
- data mining techniques
- knowledge sources
- learning systems
- higher level
- knowledge based systems
- theorem proving
- knowledge transfer
- knowledge extraction
- theorem prover
- database
- computer programs
- knowledge sharing
- domain experts
- distance measure
- expert systems
- search engine
- machine learning