| | YONEYAMA KAZUKI Last updated: Jan 18, 2020 at 03:02 | 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 Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny Kazuki Yoneyama SSR 2019 13-21 Nov 2019 [Refereed] Password-based Authenticated Key Exchange from Standard Isogeny Assumptions Shintaro Terada, Kazuki Yoneyama ProvSec 2019 41-56 Oct 2019 [Refereed] One-Round Authenticated Group Key Exchange from Isogenies Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama ProvSec 2019 330-338 Oct 2019 [Refereed] Verification of LINE Encryption Version 1.0 using ProVerif Cheng Shi, Kazuki Yoneyama IEICE Trans. on Information and Systems 102(8) 1439-1448 Aug 2019 [Refereed] One-Round Authenticated Group Key Exchange from Isogenies Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama ICIAM 2019 Jul 2019 [Invited] 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 証明書不要非同期グループ鍵交換プロトコル 岡野 裕樹, 小林 鉄太郎, 村上 啓造, 中林 美郷, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2020 IDベース非同期多者間鍵交換 中林 美郷, 小林 鉄太郎, 村上 啓造, 岡野 裕樹, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2020 ProVerifによるGroup Domain of Interpretationプロトコルの検証 野口 凌雅, 花谷 嘉一, 米山 一樹 暗号と情報セキュリティシンポジウム Jan 2020 Black-box攻撃における決定的Adversarial Examples生成手法の拡張と比較 由比藤 真、米山 一樹 暗号と情報セキュリティシンポジウム Jan 2020 EasyCrypt1.0によるMerkle-Damgardハッシュの計算機支援証明 福留 直宙、米山 一樹 暗号と情報セキュリティシンポジウム Jan 2020 |
|
|
|
|  |
