沖島遼くん，吉野大海くんが11月3日と4日に九州大学で開催された電子情報通信学会 情報セキュリティ研究会 (ISEC) で発表しました．
沖島 遼，中西 透，「否定論理を含む和積標準形を証明可能な匿名属性認証システムの提案」，信学技報, vol. 118, no. 279, ISEC2018-78, pp. 79-85, 2018年11月.
吉野 大海，中西 透，「ペアリングを用いたグラフ情報のゼロ知識証明」，信学技報, vol. 118, no. 279, ISEC2018-79, pp. 87-93, 2018年11月.