Login / Signup

An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations.

Ryo OkishimaToru Nakanishi
Published in: IWSEC (2019)
Keyphrases
  • cnf formula
  • attribute values
  • np complete
  • computational complexity