Notus: Dynamic Proofs of Liabilities from Zero-knowledge RSA Accumulators.
Jiajun XinArman HaghighiXiangan TianDimitrios PapadopoulosPublished in: USENIX Security Symposium (2024)
Keyphrases
- knowledge management
- domain knowledge
- knowledge extraction
- expert systems
- dynamic environments
- knowledge acquisition
- prior knowledge
- knowledge discovery
- database
- knowledge base
- information systems
- theorem proving
- case study
- search engine
- genetic algorithm
- information retrieval
- knowledge sources
- knowledge transfer
- machine learning