研究会発表

沖島遼くんが8月28日に東京工業大学で開催されたIWSEC で発表しました．

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