Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures.
Jens GrothPublished in: ASIACRYPT (2006)
Keyphrases
- simulation model
- natural language
- language learning
- programming language
- real world
- computer programs
- numerical simulations
- language processing
- mathematical proofs
- databases
- formal proof
- simulation software
- simulation models
- computational linguistics
- simulation environment
- theorem proving
- mathematical model
- control system
- lower bound
- artificial intelligence
- neural network