Fine-Tuning Groth-Sahai Proofs.

Alex Escala Jens Groth

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

Keyphrases

fine tuning
theorem proving
fine tune
viable alternative
theorem prover
formal proofs
fine tuned
formal proof
natural deduction
expert systems
mathematical proofs
image sequences
data structure
decision procedures