2017年11月 Journal of Cryptographic Engineering 本間 尚文 担当区分 編者(編著者) 担当範囲 Special Section on PROOFS 2016, Vol. 7. Issue 4, pp. 297--351 出版者・発行元 Springer