田中 圭介 (Keisuke Tanaka)

Research | Publications | Education | Lectures | Service | Profile | Address

Research

My current research interests are cryptography.

Publication list.

Current Collaborations

• Ryo Nishimaki, Eiichiro Fujisaki, Keita Xagawa and Tatsuaki Okamoto at NTT Secure Platform Laboratories.
• Akinori Kawachi and Osamu Watanabe at Tokyo Institute of Technology.
• Kenji Yasunaga at Kanazawa University.
• Toshiyuki Isshiki at Cloud System Research Laboratories, NEC Corporation.

My current research is supported by NTT Secure Platform Laboratories, I-System Co. Ltd. and Grant-in-Aid for Scientific Research, Ministry of Education, Culture, Sports, Science, and Technology.

受託研究

• 量子暗号および量子計算に関する研究, NTT 情報流通プラットフォーム研究所, 2001 年 10 月-2002 年 2 月.
• 公開鍵暗号の安全性に関する研究, NTT 情報流通プラットフォーム研究所,2003 年 10 月-2004 年 2 月.
• 公開鍵暗号および暗号プロトコルに関する研究, NTT 情報流通プラットフォーム研究所, 2004 年 12 月-2005 年 2 月.
• 量子公開鍵暗号の安全性及び匿名性をもつ公開鍵暗号に関する研究, NTT 情報流通プラットフォーム研究所, 2005 年 9 月-2006 年 2 月.
• 組み合わせ論的手法に基づく暗号・署名方式の研究, NTT 情報流通プラットフォーム研究所, 2006 年 10 月-2007 年 2 月.
• 格子問題に基づく暗号プロトコルとそれに対する攻撃, NTT 情報流通プラットフォーム研究所, 2007 年 10 月-2008 年 2 月.
• 格子問題に基づく署名方式に関する安全性と効率, NTT 情報流通プラットフォーム研究所, 2008 年 7 月-2009 年 2 月.
• 符号化技術における暗号要素の解析, NTT 情報流通プラットフォーム研究所, 2009 年 9 月-2010 年 2 月.
• 符号理論の完全準同型暗号への適用可能性に関する研究, NTT 情報流通プラットフォーム研究所, 2010 年 9 月-2011 年 2 月.
• 情報漏洩をともなう暗号システムに関する研究, NTT 情報流通プラットフォーム研究所, 2011 年 7 月-2012 年 2 月.

奨学寄付金

• アイ・システム株式会社, 2009年度.
• アイ・システム株式会社, 2010年度.
• アイ・システム株式会社, 2011年度.
• アイ・システム株式会社, 2012年度.

文部科学省 科学研究費補助金

• 量子計算と古典通信路を用いた電子署名方式, 若手研究 (B) 14780190, 2002 年 4 月-2005 年 3 月.
• 暗号解析手法の計算量理論による改良とそれに基づく暗号方式, 特定領域研究「新世代の計算限界 -その解明と打破-」 16092206, 2004 年 4 月-2008 年 3 月.
• 量子情報理論と量子計算量理論の融合技術の展開, 基盤研究 (B) 21300002, 2009 年 4 月-2012 年 3 月 (代表者：小柴健史).
• ゲーム理論にもとづく暗号プロトコル, 基盤研究 (C) 23500010, 2012 年 4 月-2015 年 3 月 (予定).

Education

田中 圭介 研究室.

Current Students

• Graduate: Kosuke Nagumo, Manh Ha Nguyen, Yoshihiro Koseki, Haruna Higo, Oh Ikuu, Ai Ishida, Tomoyuki Komatsu, and Ryosuke Nakata.
• Undergradutate: Fuyuki Kitagawa, Yuuki Sawai, and Hiroyuki Tohyama.

• 博士課程: 南雲 皓介, Manh Ha Nguyen.
• 修士課程: 小関 義博, 肥後 春菜, 王 ��宇, 石田 愛, 小松 智之, 中田 亮介.
• 学部: 北川 冬航, 澤井 優樹, 遠山 裕之.

卒業生・修了生

• Ph.D. (March 2013): Hirotoshi Takebe, and Mario Larangeira Junior.
• M.S. (March 2013): Takayuki Otsubo, and Yusuke Kinoshita.
• B.S. (March 2013): Ai Ishida, Tomoyuki Komatsu, and Ryosuke Nakata.
• B.S. (March 2012): Yoshihiro Koseki, and Haruna Higo.
• M.S. (September 2011): Manh Ha Nguyen.
• Ph.D. (March 2011): Christopher Alfred Portmann.
• M.S. (March 2011): Hitoshi Namiki, and Akihiro Yamada.
• B.S. (March 2011): Takayuki Otsubo, and Yusuke Kinoshita.
• Ph.D. (September 2010): Ryo Nishimaki.
• Ph.D. (March 2010): Toshiyuki Isshiki, Keita Xagawa, and Takato Hirano.
• M.S. (March 2010): Yuuki Tan, and Toshihide Matsuda.
• B.S. (March 2010): Chiaki Minato.
• M.S. (March 2009): Akira Numayama, and Koichiro Wada.
• B.S. (March 2009): Hinako Kamimura and Hitoshi Namiki.
• M.S. (September 2008): Hirotoshi Takebe, and Mario Larangeira Junior.
• M.S. (March 2008): Daisuke Inoue, and Kouichi Sakumoto.
• B.S. (March 2008): Hideaki Suzuki, Yuuki Tan, and Toshihide Matsuda.
• M.S. (September 2007): Naoyuki Yamashita.
• Ph.D. (March 2007): Ryotaro Hayashi.
• M.S. (March 2007): Chihiro Ohyama, Masatoshi Yashiro, and Keita Xagawa.
• B.S. (March 2007): Akira Numayama and Koichiro Wada.
• M.S. (March 2006): Shizu Kanauchi, Hiroki Hada, Harunaga Hiwatari, and Manabu Suzuki.
• B.S. (March 2006): Kouichi Sakumoto, Tatsunori Seki, and Hirotoshi Takebe.
• M.S. (March 2005): Akihiro Mihara and Takao Onodera.
• B.S. (March 2005): Jun Nakajima and Masatoshi Yashiro.
• M.S. (March 2004): Ryotaro Hayashi and Toshiyuki Isshiki.
• B.S. (March 2004): Hiroki Hada, Manabu Suzuki, and Naoyuki Yamashita.
• M.S. (March 2003): Keiji Omura.
• B.S. (March 2003): Yoshitsugu Ichimura, Akihiro Mihara, and Daisuke Yoshikawa.

• 博士(理学) (2013 年 3 月): 竹部 裕俊, Mario Larangeira Junior.
• 修士(理学) (2013 年 3 月): 大坪 峻之, 木下 雄介.
• 学士(理学) (2013 年 3 月): 石田 愛, 小松 智之, 中田 亮介.
• 学士(理学) (2012 年 3 月): 小関 義博, 肥後 春菜.
• 修士(理学) (2011 年 9 月): Manh Ha Nguyen.
• 博士(理学) (2011 年 3 月): Christopher Alfred Portmann.
• 修士(理学) (2011 年 3 月): 並木 均, 山田 章央.
• 学士(理学) (2011 年 3 月): 大坪 峻之, 木下 雄介.
• 博士(理学) (2010 年 9 月): 西巻 陵.
• 博士(理学) (2010 年 3 月): 一色 寿幸, 草川 恵太, 平野 貴人.
• 修士(理学) (2010 年 3 月): 丹 優樹, 松田 敏秀.
• 学士(理学) (2010 年 3 月): 湊 千晶.
• 修士(理学) (2009 年 3 月): 沼山 晃, 和田 幸一郎.
• 学士(理学) (2009 年 3 月): 上村 日名子, 並木 均.
• 修士(理学) (2008 年 9 月): 竹部 裕俊, Mario Larangeira Junior.
• 修士(理学) (2008 年 3 月): 井上 大輔, 作本 紘一.
• 学士(理学) (2008 年 3 月): 鈴木 英明, 丹 優樹, 松田 敏秀.
• 修士(理学) (2007 年 9 月): 山下 直之.
• 博士(理学) (2007 年 3 月): 林 良太郎.
• 修士(理学) (2007 年 3 月): 大山 千尋, 草川 恵太, 八代 正俊.
• 学士(理学) (2007 年 3 月): 沼山 晃, 和田 幸一郎.
• 修士(理学) (2006 年 3 月): 金内 志津, 鈴木 学, 羽田 大樹, 樋渡 玄良.
• 学士(理学) (2006 年 3 月): 作本 紘一, 世木 辰典, 竹部 裕俊.
• 修士(理学) (2005 年 3 月): 小野寺 貴男, 三原 章裕.
• 学士(理学) (2005 年 3 月): 中島 潤, 八代 正俊.
• 修士(理学) (2004 年 3 月): 一色 寿幸, 林 良太郎.
• 学士(理学) (2004 年 3 月): 鈴木 学, 羽田 大樹, 山下 直之.
• 修士(理学) (2003 年 3 月): 大村 慶二.
• 学士(理学) (2003 年 3 月): 市村 佳嗣, 三原 章裕, 吉川 大輔.

Lectures

Current Teaching (2013)

• Spring: Undergraduate: Information Theory.
• Spring at Tokyo University: Graduate: Foundation of Cryptography and Discrete Mathematics.
• Fall: Graduate: Theory of Cryptography.
• Fall: Undergraduate: Automata and Formal Language Theory.
• Fall: Undergraduate: Introduction to Computer Science.

• 3 学期: 情報理論.
• 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号・離散数学基礎論.
• 後期: 大学院: 暗号理論.
• 4 学期: オートマトンと数理言語論.
• 6 学期: 計算の理論.

過去の講義

• Spring 2000 at Sophia University: Computer Mathematics I.
• Fall 2000 at Sophia University: Computer Mathematics II.
• Spring 2001: Automata and Formal Language Theory.
• Spring 2001 at Sophia University: Computer Mathematics I.
• Fall 2001: Algorithms and Data Structures. (With Prof. Osamu Watanabe.)
• Fall 2001 at Sophia University: Computer Mathematics II.
• Spring 2002: Automata and Formal Language Theory.
• Spring 2002: at Gakushuin University: Applied Mathematical Analysis.
• Fall 2002: Automata and Formal Language Theory.
• Fall 2002: Introduction to Computer Science.
• Fall 2003: Graduate: Computational Complexity Theory.
• Fall 2003: Automata and Formal Language Theory.
• Fall 2003: Introduction to Computer Science.
• Spring 2004: Graduate: Computational Complexity Theory.
• Fall 2004: Automata and Formal Language Theory.
• Fall 2004: Introduction to Computer Science.
• Spring 2005: Graduate: Advanced Algorithms.
• Fall 2005: Automata and Formal Language Theory.
• Fall 2005: Theory of Computation.
• Fall 2005: Introduction to Computer Science.
• Spring 2006: Graduate: Advanced Algorithms.
• Spring 2006 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2006: Automata and Formal Language Theory.
• Fall 2006: Theory of Computation.
• Spring 2007 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2007: Graduate: Computational Complexity Theory.
• Fall 2007: Automata and Formal Language Theory.
• Fall 2007: Theory of Computation.
• Spring 2008 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2008: Graduate: Computational Complexity Theory.
• Fall 2008: Automata and Formal Language Theory.
• Fall 2008: Theory of Computation.
• Spring 2009 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2009: Graduate: Computational Complexity Theory.
• Fall 2009: Automata and Formal Language Theory.
• Fall 2009: Theory of Computation.
• Spring 2010 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2010: Graduate: Computational Complexity Theory.
• Fall 2010: Automata and Formal Language Theory.
• Fall 2010: Theory of Computation.
• Spring 2011: Information Theory.
• Spring 2011 at Tokyo University: Graduate: Foundation of Cryptography and Discrete Mathematics.
• Fall 2011: Graduate: Computational Complexity Theory.
• Fall 2011: Automata and Formal Language Theory.
• Fall 2011: Theory of Computation.
• Spring 2012: Information Theory.
• Spring 2012 at Tokyo University: Graduate: Foundation of Cryptography and Discrete Mathematics.
• Fall 2012: Graduate: Computational Complexity Theory.
• Fall 2012: Automata and Formal Language Theory.
• Fall 2012: Theory of Computation.

• 2000 年度 前期, 上智大学: 計算機数学 I.
• 2000 年度 後期, 上智大学: 計算機数学 II.
• 2001 年度 前期: オートマトンと数理言語論.
• 2001 年度 前期, 上智大学: 計算機数学 I.
• 2001 年度 後期: アルゴリズムとデータ構造. (With 渡辺 治 教授.)
• 2001 年度 後期, 上智大学: 計算機数学 II.
• 2002 年度 前期: オートマトンと数理言語論.
• 2002 年度 前期, 学習院大学: 応用解析学.
• 2002 年度 後期: オートマトンと数理言語論.
• 2002 年度 後期: コンピュータサイエンス入門.
• 2003 年度 後期: 大学院: 計算量理論.
• 2003 年度 後期: オートマトンと数理言語論.
• 2003 年度 後期: コンピュータサイエンス入門.
• 2004 年度 前期: 大学院: 計算量理論.
• 2004 年度 後期: オートマトンと数理言語論.
• 2004 年度 後期: コンピュータサイエンス入門.
• 2005 年度 前期: 大学院: アルゴリズム特論.
• 2005 年度 後期: オートマトンと数理言語論.
• 2005 年度 後期: 計算の理論.
• 2005 年度 後期: コンピュータサイエンス入門.
• 2006 年度 前期: 大学院: アルゴリズム特論.
• 2006 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2006 年度 後期: オートマトンと数理言語論.
• 2006 年度 後期: 計算の理論.
• 2007 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2007 年度 後期: 大学院: 計算量理論.
• 2007 年度 後期: オートマトンと数理言語論.
• 2007 年度 後期: 計算の理論.
• 2008 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2008 年度 後期: 大学院: 計算量理論.
• 2008 年度 後期: オートマトンと数理言語論.
• 2008 年度 後期: 計算の理論.
• 2009 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2009 年度 後期: 大学院: 計算量理論.
• 2009 年度 後期: オートマトンと数理言語論.
• 2009 年度 後期: 計算の理論.
• 2010 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2010 年度 後期: 大学院: 計算量理論.
• 2010 年度 後期: オートマトンと数理言語論.
• 2010 年度 後期: 計算の理論.
• 2011 年度 前期, 情報理論.
• 2011 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号・離散数学基礎論.
• 2011 年度 後期: 大学院: 計算量理論.
• 2011 年度 後期: オートマトンと数理言語論.
• 2011 年度 後期: 計算の理論.
• 2012 年度 前期, 情報理論.
• 2012 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号・離散数学基礎論.
• 2012 年度 後期: 大学院: 計算量理論.
• 2012 年度 後期: オートマトンと数理言語論.
• 2012 年度 後期: 計算の理論.

Service

Journal Editors

• 電子情報通信学会 和文論文誌 D-I 編集委員, 2000 年 5 月-2004 年 5 月.
• 電子情報通信学会 和文論文誌 D-I・英文論文誌 E-D LA シンポジウム 2001 (情報基礎理論ワークショップ) 小特集 編集幹事, 2000 年 12 月-2002 年 2 月.
• 電子情報通信学会 和文論文誌 D-I・英文論文誌 E-D LA シンポジウム 2002 (情報基礎理論ワークショップ) 小特集 編集委員, 2001 年 11 月-2003 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2003 年 3 月-2004 年 5 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2004 年 3 月-2005 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2004 年 3 月-2005 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2004 年 8 月-2005 年 5 月.
• 情報処理学会 論文誌 量子計算と量子情報 特集号 編集委員, 2004 年 9 月-2005 年 10 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2005 年 2 月-2006 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2005 年 3 月-2006 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2005 年 10 月-2006 年 5 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2006 年 2 月-2007 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2006 年 3 月-2007 年 1 月.
• 電子情報通信学会 和文論文誌 A 量子情報処理 小特集 編集委員, 2006 年 5 月-2007 年 5 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2006 年 8 月-2007 年 5 月.
• 電子情報通信学会 英文論文誌 E-D Special Section on Foundations of Computer Science 英文論文小特集 編集委員, 2006 年 11 月-2008 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2006 年 12 月-2008 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2007 年 12 月-2008 年 9 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2008 年 1 月-2009 年 1 月.
• 電子情報通信学会 英文論文誌 E-D Special Section on Foundations of Computer Science 英文論文小特集 編集委員, 2008 年 2 月-2009 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2008 年 5 月-2009 年 8 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2009 年 2 月-2010 年 1 月.
• 電子情報通信学会 英文論文誌 E-D Special Section on Foundations of Computer Science 英文論文小特集 編集委員, 2008 年 11 月-2010 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2009 年 8 月-2010 年 6 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2010 年 1 月-2011 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2010 年 4 月-2011 年 6 月.
• 電子情報通信学会 英文論文誌 E-D Special Section on Foundations of Computer Science 英文論文小特集 編集委員, 2011 年 2 月-2012 年 3 月.

Program Committee

• The 13th International Conference on Practice and Theory in Public Key Cryptography 2010 - PKC2010, ENS Paris, France, May 2010.
• Pairing-Based Cryptography - Pairing 2010 - 4th International Conference, Yamanaka Hot Spring, Japan, December 2010.
• The 6th International Conference on Provable Security - ProvSec2012, Chengdu, China, September 2012.
• The 7th International Workshop on Security - IWSEC2012, Nishijin Plaza, Kyushu University, Japan, November 2012.

Organizing Committee (Treasuer)

• The 22nd International Symposium on Algorithms and Computation - ISAAC 2011, Yokohama, Japan, December 2011.

Other Service

• 情報処理学会 アルゴリズム研究会 幹事, 1998 年 4 月-2000 年 3 月.
• LA シンポジウム 会誌編集担当, 1999 年 2 月-2000 年 2 月.
• 情報処理学会 会誌編集委員会 専門委員会 (基礎・理論分野/FWG) 編集委員, 2000 年 4 月-2004 年 3 月.
• 情報処理学会 アルゴリズム研究会 運営委員, 2000 年 4 月-2004 年 3 月.
• 電子情報通信学会 情報処理学会 第 1 回 情報科学技術フォーラム (FIT2002) 実行委員, 2002 年 6 月-2002 年 11 月.
• 電子情報通信学会 コンピュテーション研究専門委員会 幹事, 2004 年 5 月-2006 年 5 月.
• 電子情報通信学会 2007 年暗号と情報セキュリティシンポジウム (SCIS2007) 実行委員, 2006 年 7 月-2007 年 1 月.
• LA シンポジウム 幹事校, 2007 年 4 月-2008 年 3 月.
• 情報処理学会 第73回全国大会, 東京工業大学 大岡山キャンパス, 実行委員会 幹事, 2011年3月.
• 電子情報通信学会 情報セキュリティ研究専門委員会 専門委員, 2005 年 8 月-.
• 電子情報通信学会 コンピュテーション研究専門委員会 専門委員, 2006 年 5 月-.

Profile

B.Eng. Yamanashi University (1992). M.Sc. and Ph.D. Japan Advanced Institute of Science and Technology (1994 and 1997, respectively). Staff (April 1997-January 1999), Research Engineer (January 1999-March 2001) at NTT Information Sharing Platform Laboratories. Assistant Professor (April 2001-April 2004), Associate Professor (May 2004-) at Tokyo Institute of Technology. Visiting Scholar at Massachusetts Institute of Technology (September-October 1999). Adjunct Lecturer at Sophia University (April 2000-March 2002). Adjunct Lecturer at Gakushuin University (April-September 2002). Research Advisor at JST ERATO Imai Project on Quantum Computation and Information (June 2003-September 2005). Adjunct Lecturer at Tokyo University (April 2006-).

学士(工学) (山梨大学, 1992 年), 修士(情報科学) (北陸先端科学技術大学院大学, 1994 年), 博士(情報科学) (北陸先端科学技術大学院大学, 1997 年). NTT 情報流通プラットフォーム研究所 社員 (1997 年 4 月-1999 年 1 月), 研究主任 (1999 年 1 月-2001 年 3 月). 東京工業大学 講師 (2001 年 4 月-2004 年 4 月), 准教授 (2004 年 5 月-). Visiting Scholar at Massachusetts Institute of Technology (1999 年 9-10 月). 上智大学 非常勤講師 (2000 年 4 月-2002 年 3 月). 学習院大学 非常勤講師 (2002 年 4-9 月). 科学技術振興機構 (JST) 創造科学技術推進事業 (ERATO) 今井量子計算機構プロジェクト 研究推進委員 (2003 年 6 月-2005 年 9 月). 東京大学 非常勤講師 (2006 年 4 月-).

Address

Department of Mathematical and Computing Sciences
Tokyo Institute of Technology
W8-55, 2-12-1 Ookayama Meguro-ku, Tokyo 152-8552, Japan
phone: +81-3-5734-3884
fax: +81-3-5734-2714

東京工業大学 大学院情報理工学研究科 数理・計算科学専攻
〒152-8552 東京都目黒区大岡山2-12-1-W8-55
phone: 03-5734-3884
fax: 03-5734-2714
居室: 西8号館W棟11階 W1108