A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
José Bacelar AlmeidaEndre BangerterManuel BarbosaStephan KrennAhmad-Reza SadeghiThomas SchneiderPublished in: ESORICS (2010)
Keyphrases
- expert systems
- domain knowledge
- knowledge acquisition
- knowledge base
- artificial intelligence
- theorem prover
- knowledge representation
- knowledge sources
- background knowledge
- knowledge based systems
- knowledge management
- knowledge driven
- knowledge intensive
- higher level
- data mining techniques
- neural network
- general purpose
- multi agent
- information systems
- machine learning