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

Ryo Okishima, Toru Nakanishi

Browse the full IWSEC paper archive.