Supporting Non-membership Proofs with Bilinear-map Accumulators.

Ivan Damgård Nikos Triandopoulos

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

Keyphrases

maximum a posteriori
decision procedures
information systems
real world
equational theories
piecewise linear
theorem proving
multi agent
evolutionary algorithm
mobile robot
artificial intelligence
theorem prover
information retrieval
machine learning
data mining
formal proofs
database