Publications of Seiko (Seigo) Arita

Preprints

• Hiroaki Anada, Seiko Arita, Identification Schemes from Key Encapsulation Mechanisms (pdf)
• Hiroaki Anada, Seiko Arita, Identification Schemes of Proofs of Malleability Secure against Concurrent Man-in-the-Middle Attacks (pdf).

Reviewed Papers

• Seiko Arita, An Efficient Adaptive-Deniable-Concurrent Non-malleable Commitment Scheme, IEICE TRANS., Vol. E94-A, No.1, pp. 367-382 , Jan. 2011. (pdf)
• Hiroaki Anada, Seiko Arita, Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks, ProvSec 2010, LNCS 6402, pp. 18-34, 2010. (pdf)
• Seiko Arita, Koji Tsurudome, Construction of Threshold Public-Key Encryptions through Tag-Based Encryptions, ACNS 2009, LNCS 5536, pp. 186-200, 2009. (pdf)
• Seiko Arita, Akihiko Sakuma, A Group-Key Agreement Protocol Secure against The Malleability Attacks, ISITA 2008, M-TI-4-4, Auckland, New Zealand, 2008. (pdf)
• Seiko Arita, Natsumi Kawashima, An Identification Scheme with Tight Reduction, IEICE TRANS., Vol. E90-A, No. 9, pp. 1949-1955, 2007. (pdf)
• Seiko Arita, A Straight-line Extractable Non-Malleable Commitment Scheme, IEICE TRANS., Vol. E90-A, No. 7, pp.1384-1394, 2007. (pdf)
• Seigo Arita,Kazuto Matsuo,Koh-ichi Nagao,Mahoro Shimura, A Weil Descent Attack against Elliptic Curve Cryptosystems over Quartic Extension Fields, IEICE TRANS., Vol. E89-A, No. 5, pp.1246-1254, 2006. (pdf)
• Seigo Arita, An Addition Algorithm in Jacobian of C34 Curve, IEICE TRANS. FOUND., VOL.E88-A, NO.6, pp. 1589-1598, 2005. (pdf)
• Seigo Arita, Shinji Miura, Tsutomu Sekiguchi, An addition algorithm on the Jacobian varieties of curves, J. Ramanujan Math. Soc. 19, No.4 (2004) 235-251. (pdf)
• Seigo Arita, An Addition Algorithm in Jacobian of C34 Curve, ACISP 2003, LNCS 2727, pp.93--105, Wollongong, Australia, 2003. (pdf)
• S. Arita, An Addition Algorithm in Jacobian of Cab Curves, Discrete Applied Mathematics, Volume 130, Issue 1, pp. 13-31, 2003. (pdf)
• Kazuto Matsuo, Seigo Arita, Jinhui Chao, A Survey on Algebraic Curve Cryptosystems, Trans. of the Japan Society for Industrial and Applied Mathematics 13 (2003), no. 2, 231-243. in Japanese. (pdf)
• Seigo Arita, Construction of Secure Cab Curves Using Modular Curves, IEICE TRANS. FOUND., VOL.E84-A,NO.11, pp.2930-2938, 2001. (pdf)
• Seigo Arita, Weil descent of elliptic curves over finite fields of characteristic three, ASIACRYPT 2000, LNCS 1976, pp.248--258, Kyoto, 2000. (pdf)
• Seigo Arita, Gaudry's variant against Cab curves, IEICE TRANS. FOUND., VOL.E83-A,NO.9, pp.1809-1814, 2000. (pdf)
• Seigo Arita, Algorithms for computations in Jacobian group of Cab curve and their application to discrete-log-based public key cryptosystems, IEICE TRANS. FOUND., VOL.J82-A, NO.8, pp.1291--1299, 1999. in Japanese. (pdf)
• Seigo Arita, Algorithms for computations in Jacobian group of Cab curve and their application to discrete-log-based public key cryptosystems, Conference on The Mathematics of Public Key Cryptography, pp.165--175, Toronto, 1999. (pdf)

Books

• 辻井重男, 笠原正雄, 有田正剛, 境隆一, 只木孝太郎, 趙晋輝, 松尾和人, 暗号理論と楕円曲線, 272ページ, 2008/8/30, 森北出版.

Others

• 有田 正剛, On a resettably-sound resettable zero-knowledge argument in the BPK model, 2011年暗号と情報セキュリティシンポジウム, SCIS 2011, 1A2-4, 2011/1.
• 穴田啓晃, 有田 正剛, 同時発生的中間者攻撃に対して安全な2ラウンドの認証スキーム, 信学技報 IT2009-76, ISEC2009-84，WBS2009-55(2010-3), pp. 31-38, 2010/3.
• 有田 正剛, 知識 の証明と暗号技術, 情報セキュリティ総合科学, 第1巻, pp. 33-55, 情報セキュリティ大学院大学, 2009/11.
• 石井 貴之, 鶴留 浩児, 有田 正剛, Signed エルガマル暗号の一改良について, 2009年暗号と情報セキュリティシンポジウム, SCIS 2009, 2B2-1, 2009/1.
• 有田 正剛, 渡部 綾太, An Efficient Concurrent Non-malleable Commitment Scheme in the CRS Model, 2009年暗号と情報セキュリティシンポジウム, SCIS 2009, 1B1-2, 2009/1.
• 有田 正剛, 暗号プロトコルの安全性, シンポジウム 数学的土壌の上に花開く暗号技術, 2008/9.
• 鶴留 浩児, 有田 正剛, 閾値Tagベース暗号に基づく閾値公開鍵暗号の構成について, 2008年暗号と情報セキュリティシンポジウム, SCIS 2008, 2F2-3, 2008/1.
• 佐久間 明彦, 有田 正剛, 内部攻撃に対して安全なグループ鍵共有プロトコル, 2007年暗号と情報セキュリティシンポジウム, SCIS 2007, 2C2-1, 2007/1.
• Seiko Arita, A relativized Universal Composability, 2007年暗号と情報セキュリティシンポジウム, SCIS 2007, 2D4-4, 2007/1.
• Natsumi Kawashima, Seigo Arita, An Identification Scheme Based on KEA1 Assumption, 2006年暗号と情報セキュリティシンポジウム, SCIS 2006, 3D1-3, 2006/1.
• 岩崎 洋介, 有田 正剛, KEA1仮定とRevocable DDH仮定を用いたUC安全なコミットメントプロトコル, 2006年暗号と情報セキュリティシンポジウム, SCIS 2006, 2A1-2, 2006/1.
• 有田 正剛, 4次拡大体上の楕円曲線暗号に対するWeil descent attack, 研究集会「符号と暗号の代数的数理」,数理解析研究所, 2004/11.
• Seigo Arita, A Weil Descent Attack against Elliptic Curve Cryptosystems over Quartic Extension Fields II, 2004 Workshop on Cryptography and Related Mathematics, Chuo University, 2004/8.
• 有田 正剛, 指数計算法、代数曲線暗号そしてWeil descent攻撃, Algebraic Cryptography Seminar 第8回セミナー, 大阪府立大学, 2004/7.
• 有田 正剛, 4次拡大体上の楕円曲線暗号に対するWeil descent attack についてII, 2004年暗号と情報セキュリティシンポジウム,SCIS 2004, 3A2-4, 2004/1.
• 長尾 孝一,有田 正剛，松尾 和人, 志村 真帆呂, 4次拡大体上の楕円曲線暗号に対するWeil descent attack についてI, 2004年暗号と情報セキュリティシンポジウム,SCIS 2004, 3A2-3, 2004/1.
• 有田 正剛，松尾 和人, 趙 晋輝, 代数曲線暗号, 日本応用数理学会2003年度年会, pp.180-181, 2003/9.
• Seigo Arita, Weil descent attack against genus two hyperelliptic curve cryptosystems over even degree finite fields, 2003 International Symposium on Next Generation Cryptography and Related Mathematics, 中央大学, 2003/2.
• 有田 正剛， 偶数次拡大体上の種数2超楕円曲線暗号に対するWeil descent attackについて, 信学技報 Vol.102 No.323，pp.39--46，2002/9.
• 有田 正剛， Cab曲線を用いた離散対数型暗号, 次世代暗号とそれを支える数学理論シンポジウム, 中央大学, 2002/2.
• 有田 正剛， 代数曲線を用いた離散対数型暗号, 代数幾何の広がり研究集会, 東京大学, 2002/2.
• 有田 正剛， Cab曲線を用いた離散対数型暗号, Algebraic Cryptography Seminar第1回セミナー, 大阪府立大学, 2001/10.
• 有田 正剛， C34曲線のヤコビ群加算アルゴリズム, ワークショップ「暗号理論とそれを支える代数曲線理論」, 中央大学理工学研究所, 2001/8.
• Seigo Arita, On the Weil descent attack against elliptic curve cryptosystems, 4th Conference on Algebraic Geometry・Number Theory and Coding Theory・Cryptosystems, 東京大学大学院数理科学研究科, 2000/11.
• 有田 正剛， 楕円曲線暗号に対する Weil descent 攻撃について, ワークショップ「暗号理論とそれを支える代数曲線理論」, 中央大学理工学研究所, 2000/9.
• 有田 正剛， Construction of Secure Cab Curves Using Modular Curves, 数論アルゴリズムとその応用研究集会, 日本応用数理学会, 2000/7.
• 有田 正剛， 標数3の楕円曲線のWeil descentについて, 信学技報 Vol.100 No.77，pp.9--16，2000/5.
• 有田 正剛， 高次代数曲線を用いた離散対数型暗号, Moduli Seminar, 中央大学理工学部数学教室, 2000/2.
• 有田 正剛， Gaudry's variant のCab 曲線への適用, コンピュータセキュリティシンポジウム'99, pp.7--12, 1999/10.
• 有田 正剛, モジュラー曲線のCab 型曲線モデルについて, 第4回代数曲線とその応用シンポジウム, 電子情報通信学会, 1999/5.
• 有田 正剛，吉川 昭弘，宮内 宏， Cab 曲線を用いた離散対数型暗号のソフトウェア実装, 1999年暗号と情報セキュリティシンポジウム, pp.573--578, 1999/1.
• 有田 正剛, 安全なCab 曲線の構成について, 第3回代数曲線とその応用シンポジウム, 電子情報通信学会, 1998/9.
• 有田 正剛, Cab 曲線を用いた離散対数型暗号, 第2回「代数幾何・数論及び符号・暗号」研究集会, pp.95--106, 1998/7.
• 有田 正剛, Cab 曲線を用いた離散対数型暗号, 第2回代数曲線とその応用シンポジウム, 電子情報通信学会, 1998/3.
• 有田 正剛, Cab 曲線を用いた公開鍵暗号 (2), 1998年暗号と情報セキュリティシンポジウム, SCIS98-7.1.B, 1998/1.
• 有田 正剛, Cab 曲線を用いた公開鍵暗号 (1), 信学技報 Vol.97 No.461，pp.13--23，1997/12.

Patents

• 有田 正剛, 2重ベクトル加算装置、2重ベクトル2倍装置及び2重ベクトル整数倍装置, 公開番号 特開平11-073105、公開日 1999.03.16.
• 有田 正剛, 代数曲線暗号における安全なパラメータの生成装置、生成方法、および記録媒体, 出願番号 特願平11-242075、出願日 1999.08.27.
• 有田 正剛, ヤコビ群要素加算装置, 出願番号 特願2002-240034、出願日 2002.08.21