Efficient Non-interactive Proof Systems for Bilinear Groups.
Jens GrothAmit SahaiPublished in: Electron. Colloquium Comput. Complex. (2007)
Keyphrases
- expert systems
- management system
- complex systems
- computer systems
- knowledge based systems
- user interaction
- interactive systems
- information systems
- computing systems
- theorem proving
- learning systems
- computationally efficient
- intelligent systems
- distributed systems
- query processing
- relational databases
- knowledge base