くらかみ

投稿日: 2013/04/04 作成者: kura

花谷 嘉一

Yoshikazu Hanatani

学年：修士２年

email：hana　後ろに”@uec.ac.jp”を付けて下さい

場所：電気通信大学 総合研究棟

居室：922

内線：5822

役職：10周年記念パーティ準備委員 解任

研究テーマ

  • 次世代ハッシュ関数 SHA-3 候補のハードウェア性能評価
  • シミュレーションにおける FSA のモデル化と対策

受賞歴

所属学会

  • 日本応用数理学会(JSIAM) 会員
  • The International Financial Cryptography Association (IFCA) 会員

学会活動

  • 電子情報通信学会 コンピュテーション研究会 (COMP研) 研究専門委員 (2011/4/1～)
  • 日本応用数理学会「数理的技法による情報セキュリティ」研究部会 (FAIS) 幹事 （2010/12～）
  • 情報処理学会 会誌編集委員会専門委員会(書評・ニュース分野/BWG) 専門委員 （2010/4/1～）
  • NambuCrypt 2007 幹事補佐 (Musashi-Mizonokuchi, Japan. 26, December, 2007)

Biography

  • 2000/04, 電気通信大学 電気通信学部 情報通信工学科 入学
  • 2004/03, 電気通信大学 電気通信学部 情報通信工学科 卒業
  • 2004/04, 電気通信大学大学院 電気通信学研究科 情報通信工学専攻 博士前期課程 入学
  • 2006/03, 電気通信大学大学院 電気通信学研究科 情報通信工学専攻 博士前期課程 修了 (修士(工学))
  • 2006/04, 株式会社 東芝 入社
  • 2010/04, 電気通信大学大学院 情報理工学研究科 総合情報学専攻 博士後期課程 入学

List of Publications

書籍

  1. 数理的技法による情報セキュリティ（シリーズ応用数理）， 萩谷昌己・塚田恭章 編．
    “３．ゲーム列による安全性証明の基礎”，花谷嘉一，太田和夫．
    共立出版，pp. 37-63， 2010年7月22日．

英文論文誌

  1. Yoshikazu Hanatani, Yuichi Komano, Kazuo Ohta, Noboru Kunihiro． “Provably Secure Untraceable Electronic Cash against Insider Attackes”，
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，90-A(5)，pp.980-991,
    May 2007．

国際会議

  1. Fangming Zhao, Yoshikazu Hanatani, Ben Smyth, Yuichi Komano, Toru Kamibayashi, Satoshi Ito． “Secure Authenticated Key Exchange with Revocation for Smart Grid”，
    The third IEEE PES Conference on Innovative Smart Grid Technologies (ISGT 2012)，
    January 2012, at Washington, USA． (to appear)
  2. Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura． “Toward Compact Public Key Encryption based on CDH Assumption via Extended Twin DH Assumption”，
    ProvSec 2011，LNCS 6980, Springer, pp. 138-153, October 2011, at Xi’an, China．
  3. Yoshikazu Hanatani, Miyako Ohkubo, Shin’ichiro Matsuo, Kazuo Sakiyama and Kazuo Ohta． “A Study on Computational Formal Verification for Practical Cryptographic Protocol:
    The Case of Synchronous RFID Authentication”    ，The 15th International Conference on
    Financial Cryptography and Data Security, RLCPS workshop，LNCS ????, Springer, pp. ??-??, March 2011, at St. Lucia． (to appear)

解説記事

  1. 花谷嘉一，村谷博文，太田和夫． “暗号プロトコルの安全性証明自動化技術”，
    東芝レビュー Vol. 64, No.7，2009年7月．

国内研究会

  1. 花谷嘉一． “暗号システムの安全性証明とその自動化技術”，
    計算機代数システムの進展（PCAS 2011），暗号・セキュリティセッション，MIレクチャーノート，Vol. XX，X pages，2011年8月，福岡県，九州大学 伊都キャンパス．
  2. 花谷嘉一，村谷博文，米村 智子，磯谷 泰知． “CDH仮定に基づく公開鍵暗号方式の鍵成分の削減”，
    暗号と情報セキュリティシンポジウム2011（SCIS2011），2A1-5，8 pages，2011年1月，福岡県，リーガロイヤルホテル小倉．
  3. 駒野雄一，太田和夫，花谷嘉一，新保淳． “PUFとFuzzy Extractorを用いるFeistel暗号の再考”，
    暗号と情報セキュリティシンポジウム2011（SCIS2011），3B2-2，8 pages，2011年1月，福岡県，リーガロイヤルホテル小倉．

その他

  1. Miyako Ohkubo, Shin’ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama and Kazuo Ohta． “Robust RFID Authentication Protocol with Formal Proof and Its Feasibility”，
    Cryptology ePrint Archive, Report 2010/345，23 pages，June 2010．
  2. Yuichi Komano, Koichiro Akiyama, Yoshikazu Hanatani, Hideyuki Miyake, Yasuhiro Goto． “A Very Light Post-Quantum Digital Signature using Algebraic Surfaces”，
    Eurocrypt 2010 Rump Session，June 2010．
  3. Yoshikazu Hanatani, Yosuke Kakuno, Kazuo Ohta． “Bug fixes for CryptoVerif”，
    Spring School and Workshop on Computational and Symbolic Proofs of Security, CoSyProofs2009 Rump Session，
    April 2009 at Atagawa, Japan．
パーマリンク