YONEYAMA KAZUKI

J-GLOBAL         Last updated: Jan 18, 2020 at 03:02
 
Avatar
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

Research Areas

 
 

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