Ryo Okishima, Toru Nakanishi 0001. An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations. In Nuttapong Attrapadung, Takeshi Yagi, editors, Advances in Information and Computer Security - 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, Proceedings. Volume 11689 of Lecture Notes in Computer Science, pages 89-106, Springer, 2019. [doi]
Abstract is missing.