Nasima Begum, Toru Nakanishi, Nobuo Funabiki. Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System. In Taekyoung Kwon, Mun-Kyu Lee, Daesung Kwon, editors, Information Security and Cryptology - ICISC 2012 - 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers. Volume 7839 of Lecture Notes in Computer Science, pages 495-509, Springer, 2012. [doi]
Abstract is missing.