Login / Signup
Implementation and Evaluation of an Pairing-Based Anonymous Credential System with Constant-Size Proofs and Efficient Proof Generations.
Nasima Begum
Toru Nakanishi
Nobuo Funabiki
Published in:
ICNC (2012)
Keyphrases
</>
efficient implementation
theorem proving
theorem prover
database
cost effective
formal proof
mathematical proofs
interactive theorem proving
genetic algorithm
case study
computationally expensive
evaluation method
evaluation criteria
proof search