| | YONEYAMA KAZUKI Last updated: Apr 27, 2019 at 02:40 | Name | YONEYAMA KAZUKI |
|---|
URL | http://www.yoneyama-lab.jp/ |
|---|
Affiliation | Ibaraki University |
|---|
Section | Graduate School of Science and Engineering (Engineering), Department of Computer and Information Sciences |
|---|
Job title | Associate Professor |
|---|
Research funding number | 50759579 |
|---|
|
Academic & Professional Experience Oct 2008 - Mar 2009 電気通信大学 研究員（学振PD） 電気通信学研究科 Apr 2009 - Mar 2012 日本電信電話株式会社 研究員（情報流通プラットフォーム研究所） Apr 2012 - Jun 2014 日本電信電話株式会社 研究員（セキュアプラットフォーム研究所） Jul 2014 - Mar 2015 日本電信電話株式会社 研究主任（セキュアプラットフォーム研究所） Apr 2015 茨城大学工学部情報工学科 准教授 Education Apr 2000 - Mar 2004 情報通信工学科, Faculty of Electro Communications, The University of Electro-Communications Apr 2004 - Mar 2006 情報通信工学専攻, Graduate School, Division of Electro Communications, The University of Electro-Communications Apr 2006 - Sep 2008 情報通信工学専攻, Graduate School, Division of Electro Communications, The University of Electro-Communications Published Papers On Hiding Access Timings in ORAM Yuma Kanai, Kazuki Yoneyama ISITA 2018 Oct 2018 [Refereed] Improved Verifiable Delegated Private Set Intersection Shintaro Terada, Kazuki Yoneyama ISITA 2018 Oct 2018 [Refereed] Single Private-Key Generator Security Implies Multiple Private-Key Generators Security Atsushi Fujioka, Kazuki Yoneyama ProvSec 2018 Oct 2018 [Refereed] 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 Oct 2018 [Refereed] Verification of LINE Encryption Version 1.0 using ProVerif Cheng Shi, Kazuki Yoneyama IWSEC 2018 158-173 Sep 2018 [Refereed] Misc Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto SECRYPT 2015 Jul 2015 [Refereed] Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama ACNS 2015 Jun 2015 [Refereed] Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs Kazuki Yoneyama ICISC 2014 Dec 2014 [Refereed] Computational Soundness of Asymmetric Bilinear Pairing-based Protocols Kazuki Yoneyama ProvSec 2014 Oct 2014 [Refereed] Compact Public Key Encryption with Minimum Ideal Property of Hash Functions Kazuki Yoneyama, Goichiro Hanaoka ProvSec 2014 Oct 2014 [Refereed] Books etc "I/O オートマトン" 「日本応用数理学会 監修／薩摩順吉・大石進一・杉原正顕（編）, 応用数理ハンドブック」第16-6章 米山 一樹 (Part:Joint Work) Nov 2013 |
"タスク構造確率I/O オートマトンを用いた安全性証明"「萩谷昌己・塚田恭章（編）, 数理的技法による情報セキュリティ（シリーズ応用数理）」第5章 米山 一樹, 太田 和夫 (Part:Joint Work) Jul 2010 |
Conference Activities & Talks LINE Encryption Version 1.0のProVerifによる検証 師 成, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2017 検証可能フォワード安全動的検索可能暗号の改良 木村 翔吾, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2017 ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案 岡野 裕樹, 小林 鉄太郎, 西巻 陵, 吉田 麗生, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2017 長期秘密鍵漏洩時の動的多者鍵配布プロトコルにおける後方鍵の安全性について 松井 政裕, 岡野 裕樹, 吉田 麗生, 小林 鉄太郎, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2017 非対話参加可能なIDベース動的多者鍵配布プロトコルの提案とその実装評価 吉田 麗生, 米山 一樹, 川原 祐人, 小林 鉄太郎, 冨士 仁, 山本 具英, 岡野 裕樹, 奥田 哲矢 暗号と情報セキュリティシンポジウム Jan 2017 |
|
|
|
|  |
