Forking Lemmas in the Ring Signatures' Scenario.

Javier Herranz Germán Sáez

Published in: IACR Cryptol. ePrint Arch. (2003)

Keyphrases

theorem proving
application scenarios
signature verification
real world
artificial intelligence
theorem prover
algebraic structure
real time
neural network
data sets
image processing
case study
multiscale
objective function
digital libraries
multiresolution