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

Ryo Okishima, Toru Nakanishi 0001. An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 103-A(12):1381-1392, 2020. [doi]

@article{OkishimaN20,
  title = {An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations},
  author = {Ryo Okishima and Toru Nakanishi 0001},
  year = {2020},
  url = {http://search.ieice.org/bin/summary.php?id=e103-a_12_1381},
  researchr = {https://researchr.org/publication/OkishimaN20},
  cites = {0},
  citedby = {0},
  journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume = {103-A},
  number = {12},
  pages = {1381-1392},
}