[:ja]研究会発表[:] 2019年7月26日 | コメントはまだありません [:ja]沖島 遼くんが8月28日に東京工業大学で開催されたIWSEC で発表しました． An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations[:] 研究会情報