Reducing public-key size in an anonymous credential system for CNF formulas with constant-size proofs | IEEE Conference Publication | IEEE Xplore