Anonymous Credential System with Efficient Proofs for Monotone Formulas on Attributes.

Shahidatul Sadiah Toru Nakanishi Nobuo Funabiki

Published in: IWSEC (2015)

Keyphrases

computationally expensive
data sets
lower bound
relational databases
lightweight
computationally efficient
theorem proving
decision table