Yoneyama Kazuki 米山一樹

Researcher Number	50759579
Other IDs
Affiliation (Current)	2026: 茨城大学, 応用理工学野, 教授
Affiliation (based on the past Project Information) *help	2026: 茨城大学, 応用理工学野, 教授 2024: 茨城大学, 応用理工学野, 教授 2019 – 2023: 茨城大学, 理工学研究科(工学野), 教授 2018: 茨城大学, 理工学研究科(工学野), 准教授 2015 – 2017: 茨城大学, 工学部, 准教授
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Information security
Keywords	Principal Investigator 認証鍵交換 / 形式検証 / 形式手法 / 暗号・認証等 / 暗号プロトコル / 耐量子計算機安全性 / 耐量子安全性 / 緊密な安全性 / 漏洩耐性 / 耐量子計算機 … More / IoT / 高機能暗号 / 安全性自動検証 / 耐量子計算機暗号 / 同種写像問題 / 高機能暗号プロトコル / 耐量子 / セキュア・ネットワーク / エンドツーエンド暗号化 / エンドツーエンド暗号化通信 / 秘密情報漏洩 / マルチキャスト鍵配送 / フェイルセーフ安全性 / フェイルセーフ性 Less

Research Projects
(5 results)
Research Products
(32 results)

量子計算機に対する計算論的なポスト漏洩安全性の汎用的な形式検証手法の確立Principal Investigator
- Principal Investigator
  
  米山一樹
- Project Period (FY)
  2026 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Ibaraki University
漏洩耐性と緊密な安全性を兼ね揃えた耐量子認証鍵交換の創出とその形式検証Principal Investigator
- Principal Investigator
  
  米山一樹
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Ibaraki University
Compact post-quantum advanced cryptographic protocols for IoTPrincipal Investigator
- Principal Investigator
  
  Kazuki Yoneyama
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Ibaraki University
Study on Formal Security Model of End-to-End EncryptionPrincipal Investigator
- Principal Investigator
  
  YONEYAMA KAZUKI
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Information security
- Research Institution
  Ibaraki University
Construction and Security Proof of Fail-Safe Cryptographic ProtocolsPrincipal Investigator
- Principal Investigator
  
  Yoneyama Kazuki
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Information security
- Research Institution
  Ibaraki University

All 2025 2024 2023 2022 2021 2019 2018 2017 2016 2015

All Journal Article Presentation

[Journal Article] Big Data-based Authenticated Key Exchange Resilient to Ephemeral Key Leakage without Random Oracles2024
- Author(s)
  Ishibashi Ren、Yoneyama Kazuki
- Journal Title
  
  Journal of Information Processing
  
  Volume: 32 Issue: 0 Pages: 690-709
- DOI
  10.2197/ipsjjip.32.690
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11095
[Journal Article] Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles2023
- Author(s)
  ISHIBASHI Ren、YONEYAMA Kazuki
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E106.A Issue: 9 Pages: 1141-1163
- DOI
  10.1587/transfun.2022DMP0001
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2023-09-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11095
[Journal Article] Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles2022
- Author(s)
  ISHIBASHI Ren、YONEYAMA Kazuki
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E105.A Issue: 9 Pages: 1252-1269
- DOI
  10.1587/transfun.2021DMP0002
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2022-09-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11806
[Journal Article] Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies2021
- Author(s)
  YONEYAMA Kazuki
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E104.A Issue: 1 Pages: 69-78
- DOI
  10.1587/transfun.2020CIP0011
- NAID
  130007964799
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2021-01-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11806
[Journal Article] Verification of LINE Encryption Version 1.0 Using ProVerif2019
- Author(s)
  Cheng Shi, Kazuki Yoneyama
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E102.D Issue: 8 Pages: 1439-1448
- DOI
  10.1587/transinf.2018FOP0001
- NAID
  130007686443
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2019-08-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12695
[Journal Article] Computational Soundness of Asymmetric Bilinear Pairing-based Protocols2017
- Author(s)
  Kazuki Yoneyama
- Journal Title
  
  IEICE Trans. on Fundamentals
  
  Volume: E100-A
- NAID
  130006038282
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H06063
[Journal Article] Oblivious Polynomial Evaluation in the Exponent, Revisited2017
- Author(s)
  Naoto Itakura, Kaoru Kurosawa, Kazuki Yoneyama
- Journal Title
  
  IEICE Trans. on Fundamentals
  
  Volume: E100-A Pages: 26-33
- NAID
  130005180839
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06063
[Journal Article] Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures2017
- Author(s)
  Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama
- Journal Title
  
  International Journal of Information Security
  
  Volume: －
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06063
[Journal Article] One-Round Authenticated Key Exchange without Implementation Tricks2016
- Author(s)
  Kazuki Yoneyama
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 1 Pages: 9-19
- DOI
  10.2197/ipsjjip.24.9
- NAID
  130005119972
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06063
[Journal Article] Compact public key encryption without full random oracles2016
- Author(s)
  Kazuki Yoneyama, Goichiro Hanaoka
- Journal Title
  
  Pervasive and Mobile Computing
  
  Volume: －
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H06063
[Journal Article] Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs2016
- Author(s)
  Kazuki Yoneyama
- Journal Title
  
  International Journal of Information Security
  
  Volume: －
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] 同種写像問題に基づくプライバシ保護認証鍵交換2025
- Author(s)
  三田拓夢, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-23K11095
[Presentation] Tightly Secure ID-based Authenticated Key Exchange2024
- Author(s)
  Mita Takumu、Yoneyama Kazuki
- Organizer
  ACM ASIA Public-Key Cryptography Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11095
[Presentation] Group Actionを用いたパスワード認証鍵交換方式2024
- Author(s)
  米山一樹
- Organizer
  金沢暗号理論勉強会
- Invited
- Data Source
  KAKENHI-PROJECT-23K11095
[Presentation] Compact Password Authenticated Key Exchange from Group Actions2023
- Author(s)
  Kazuki Yoneyama
- Organizer
  Australasian Conference on Information Security and Privacy
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11095
[Presentation] Post-Quantum Authenticated Key Exchange Resilient to Ephemeral Key Leakage in the Bounded-Retrieval Model for IoT2023
- Author(s)
  Kazuki Yoneyama
- Organizer
  International Workshop on Security
- Invited
- Data Source
  KAKENHI-PROJECT-23K11095
[Presentation] Post-quantum Anonymous One-Sided Authenticated Key Exchange Without Random Oracles2022
- Author(s)
  Ishibashi Ren、Yoneyama Kazuki
- Organizer
  PKC 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11806
[Presentation] 強フォワード秘匿性を満たす匿名一方向認証鍵交換2022
- Author(s)
  石橋錬, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-20K11806
[Presentation] Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange Under Standard Assumptions Without Random Oracles2021
- Author(s)
  Ishibashi Ren、Yoneyama Kazuki
- Organizer
  ACNS 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11806
[Presentation] Bernstein-Vazirani量子アルゴリズムに基づく周期発見を用いた3ラウンドFeistel暗号に対する量子識別攻撃とその検証2021
- Author(s)
  八藤後彬, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-20K11806
[Presentation] 標準モデル安全な耐量子一方向匿名認証鍵交換2021
- Author(s)
  石橋錬, 米山一樹
- Organizer
  コンピュータセキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-20K11806
[Presentation] ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案2018
- Author(s)
  岡野裕樹, 小林鉄太郎, 西巻陵, 吉田麗生, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-17K12695
[Presentation] LINE Encryption Version 1.0のProVerifによる検証2018
- Author(s)
  師成, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-17K12695
[Presentation] セキュリティプロトコル安全性検証の理想と現実2016
- Author(s)
  米山一樹
- Organizer
  CRYPTRECシンポジウム
- Place of Presentation
  東京
- Invited
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] 乱数暴露に対しても匿名性を保つグループ署名2016
- Author(s)
  小野智義, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Place of Presentation
  ANAクラウンプラザホテル（熊本県熊本市）
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] UC-Secure Dynamic Searchable Symmetric Encryption Scheme2016
- Author(s)
  Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama
- Organizer
  International Workshop on Security
- Place of Presentation
  東京
- Year and Date
  2016-09-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] Analyzing and Fixing the QACCE security of QUIC2016
- Author(s)
  Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida
- Organizer
  International Conference on Security Standardization Research
- Place of Presentation
  ガイエスブルグ
- Year and Date
  2016-12-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] Multi-Cast Key Distribution: Scalable, Dynamic and Provably Secure Construction2016
- Author(s)
  Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
- Organizer
  International Conference on Provable Security
- Place of Presentation
  南京
- Year and Date
  2016-11-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] スケーラブルな動的多者鍵配布プロトコル2016
- Author(s)
  小林鉄太郎, 米山一樹, 吉田麗生, 川原祐人, 冨士仁, 山本具英
- Organizer
  暗号と情報セキュリティシンポジウム
- Place of Presentation
  ANAクラウンプラザホテル（熊本県熊本市）
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] Security Proof of Identity-based Signature under RSA Assumption, Reconsidered2016
- Author(s)
  Shogo Kimura, Kazuki Yoneyama
- Organizer
  International Symposium on Information Theory and its Applications
- Place of Presentation
  モントレー
- Year and Date
  2016-10-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] TLSへのLogjam攻撃のProVerifによる形式化と検出2016
- Author(s)
  木村文哉, 吉田真紀, 米山一樹
- Organizer
  暗号と情報セキュリティシンポジウム
- Place of Presentation
  ANAクラウンプラザホテル（熊本県熊本市）
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-15H06063
[Presentation] 形式検証に向けたQUICの安全性定義の検討2015
- Author(s)
  櫻田英樹, 米山一樹, 花谷嘉一, 吉田真紀
- Organizer
  日本応用数理学会2015年度年会
- Place of Presentation
  金沢大学（石川県金沢市）
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15H06063

Yoneyama Kazuki 米山 一樹

Research Projects

Research Products

量子計算機に対する計算論的なポスト漏洩安全性の汎用的な形式検証手法の確立Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

漏洩耐性と緊密な安全性を兼ね揃えた耐量子認証鍵交換の創出とその形式検証Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Compact post-quantum advanced cryptographic protocols for IoTPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study on Formal Security Model of End-to-End EncryptionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction and Security Proof of Fail-Safe Cryptographic ProtocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Big Data-based Authenticated Key Exchange Resilient to Ephemeral Key Leakage without Random Oracles2024

Author(s)

Journal Title

DOI

ISSN

Language

Data Source

[Journal Article] Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles2023

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles2022

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies2021

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Verification of LINE Encryption Version 1.0 Using ProVerif2019

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Computational Soundness of Asymmetric Bilinear Pairing-based Protocols2017

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Oblivious Polynomial Evaluation in the Exponent, Revisited2017

Yoneyama Kazuki 米山一樹