Login / Signup
Transitive Signatures: New Schemes and Proofs.
Mihir Bellare
Gregory Neven
Published in:
IACR Cryptol. ePrint Arch. (2004)
Keyphrases
</>
theorem proving
signature verification
data sets
theorem prover
database
neural network
information retrieval
e learning
case study
first order logic
decision procedures