Groth-Sahai Proofs Revisited.

Essam Ghadafi Nigel P. Smart Bogdan Warinschi

Published in: Public Key Cryptography (2010)

Keyphrases

theorem proving
theorem prover
formal proof
mathematical proofs
support vector
database
machine learning
feature selection
bayesian networks
data structure
data analysis
expert systems
relational databases
computer programs
formal proofs
equational theories