Login / Signup
Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications.
Benoît Libert
Thomas Peters
Marc Joye
Moti Yung
Published in:
IACR Cryptol. ePrint Arch. (2015)
Keyphrases
</>
question answering
simulation model
theorem prover
simulation models
security analysis
data structure
information extraction
closed form
simulation study
simulation environment
standard model
authentication protocol
question classification
linear functions
angular velocity