茨城大学
理工学研究科(工学野)
情報科学領域

准教授

米山 一樹

ヨネヤマ カズキ
YONEYAMA KAZUKI

経歴

  1. 電気通信大学 研究員(学振PD) 電気通信学研究科 2008/10-2009/03
  2. 日本電信電話株式会社 研究員(情報流通プラットフォーム研究所) 2009/04-2012/03
  3. 日本電信電話株式会社 研究員(セキュアプラットフォーム研究所) 2012/04-2014/06
  4. 日本電信電話株式会社 研究主任(セキュアプラットフォーム研究所) 2014/07-2015/03
  5. 茨城大学工学部情報工学科 准教授 2015/04-現在

学歴

  1. 電気通信大学 電気通信学部 情報通信工学科 2004/03 卒業
  2. 電気通信大学 電気通信学研究科 情報通信工学専攻 博士前期 2006/03 修了
  3. 電気通信大学 電気通信学研究科 情報通信工学専攻 博士後期 2008/09 修了

学位

  1. 修士(工学) 電気通信大学 2006/03
  2. 博士(工学) 電気通信大学 2008/09

研究分野

  1. 暗号理論
  2. 情報セキュリティ

研究キーワード

  1. 暗号プロトコル
  2. 形式検証

研究テーマ

  1. 暗号理論とその応用

著書

  1. "I/O オートマトン" 「日本応用数理学会 監修/薩摩順吉・大石進一・杉原正顕(編), 応用数理ハンドブック」第16-6章 米山 一樹 2013/11
  2. "タスク構造確率I/O オートマトンを用いた安全性証明"「萩谷昌己・塚田恭章(編), 数理的技法による情報セキュリティ(シリーズ応用数理)」第5章 米山 一樹, 太田 和夫 2010/07

論文

  1. 研究論文(国際会議プロシーディングス) 共著 On Hiding Access Timings in ORAM Yuma Kanai, Kazuki Yoneyama ISITA 2018 2018/10
  2. 研究論文(国際会議プロシーディングス) 共著 Improved Verifiable Delegated Private Set Intersection Shintaro Terada, Kazuki Yoneyama ISITA 2018 2018/10
  3. 研究論文(国際会議プロシーディングス) 共著 Single Private-Key Generator Security Implies Multiple Private-Key Generators Security Atsushi Fujioka, Kazuki Yoneyama ProvSec 2018 2018/10
  4. 研究論文(学術雑誌) 単著 Multi-cast key distribution: scalable, dynamic and provably secure construction Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto International Journal of Information Security 17/ 5, 513-532 2018/10
  5. 研究論文(国際会議プロシーディングス) 共著 Verification of LINE Encryption Version 1.0 using ProVerif Cheng Shi, Kazuki Yoneyama IWSEC 2018 158-173 2018/09

研究発表

  1. 口頭発表(一般) LINE Encryption Version 1.0のProVerifによる検証 暗号と情報セキュリティシンポジウム 2017/01
  2. 口頭発表(一般) 検証可能フォワード安全動的検索可能暗号の改良 暗号と情報セキュリティシンポジウム 2017/01
  3. 口頭発表(一般) ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案 暗号と情報セキュリティシンポジウム 2017/01
  4. 口頭発表(一般) 長期秘密鍵漏洩時の動的多者鍵配布プロトコルにおける後方鍵の安全性について 暗号と情報セキュリティシンポジウム 2017/01
  5. 口頭発表(一般) 非対話参加可能なIDベース動的多者鍵配布プロトコルの提案とその実装評価 暗号と情報セキュリティシンポジウム 2017/01