Login / Signup
An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations.
Ryo Okishima
Toru Nakanishi
Published in:
IWSEC (2019)
Keyphrases
</>
cnf formula
attribute values
np complete
computational complexity