研究業績

2014年度以前の業績はこちら

2024年度

[著書]

1.  國廣 昇, 安田 雅哉, 水木 敬明, 高安 敦, 高島 克幸, 米山 一樹, 大原 一真, 江村 恵太, "暗号の理論と技術 量子時代のセキュリティ理解のために",  ‎ 講談社, May. 2024. 

[学術論文誌]

1. Ren Ishibashi, Kazuki Yoneyama, "Big Data-based Authenticated Key Exchange Resilient to Ephemeral Key Leakage without Random Oracles", Journal of Information Processing, vol.32, pp.690-709, Sep. 2024. 

[査読付き国際会議プロシーディング]

1. Takumu Mita, Kazuki Yoneyama, "Tightly Secure ID-based Authenticated Key Exchange", ACM ASIA Public-Key Cryptography Workshop (APKC 2024), ACM, pp.42-53, Jul. 2024. 

2. Kazuhiro Fujita, Kazuki Yoneyama, "Formal Verification of Wireless Charging Standard Qi", ACM ASIA Public-Key Cryptography Workshop (APKC 2024), ACM, pp.23-31, Jul. 2024.

3. Kakeru Watanabe, Kazuki Yoneyama, "Formal Verification of Challenge Flow in EMV 3-D Secure", Australasian Conference on Information Security and Privacy (ACISP 2024), LNCS14896, pp.290-310, Jul. 2024.

4. Shohei Mita, Kazuki Yoneyama, "Simultaneous Multiplication Protocol based on Packed Linear Secret Sharing and its Applications", International Conference on Information Security and Cryptology (ICISC 2024), LNCS, pp., Nov. 2024.

[国内シンポジウム・研究会]

1. 米山 一樹, "Group Actionを用いたパスワード認証鍵交換方式"[招待講演], 金沢暗号理論勉強会, Jul. 2024.

2. 荒井 研一, 鈴木 幸太郎, 中林 美郷, 花谷 嘉一, 三重野 武彦, 山本 光晴, 吉田 真紀, 米山 一樹, "数理的技法による情報セキュリティの2024年度前半の研究動向", 日本応用数理学会2024年度年会, Sep. 2024.

3. 藤田 和弘, 米山 一樹, 品川 和雅, "カードベース暗号の形式検証の再考", 日本応用数理学会2024年度年会, Sep. 2024.

4. 花谷 嘉一, 米山 一樹, "F*ハンズオン", コンピュータセキュリティシンポジウム (CSS 2024), Oct. 2024.

5. 米山 一樹, "最近の形式検証×セキュリティの研究動向"[チュートリアル講演], コンピュータセキュリティシンポジウム (CSS 2024), Oct. 2024.

2023年度

[学術論文誌]

1. Ren Ishibashi, Kazuki Yoneyama, "Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles", IEICE Trans. on Fundamentals, vol.E106.A, No.9, pp.1141-1163, Sep. 2023.

2. 佐藤 瑞己, 米山 一樹, "FIDO2の形式化の再考と複数モードの検証への拡張"[特選論文選定], 情報処理学会論文誌, vol.64, No.12, pp.1599-1613, Dec. 2023. 

[査読付き国際会議プロシーディング]

1. Ren Ishibashi, Kazuki Yoneyama, "Compact Password Authenticated Key Exchange from Group Actions", Australasian Conference on Information Security and Privacy (ACISP 2023), LNCS13915, pp.220-247, Jul. 2023.

[査読無し国際会議]

1. Ren Ishibashi, Kazuki Yoneyama, "Post-Quantum Authenticated Key Exchange Resilient to Ephemeral Key Leakage in the Bounded-Retrieval Model for IoT"[招待講演],  International Workshop on Security (IWSEC 2023), Aug. 2023.

[国内シンポジウム・研究会]

1. 花谷 嘉一, 米山 一樹, "ProVerifハンズオン", コンピュータセキュリティシンポジウム (CSS 2023), Nov. 2023.

2. 渡部 翔, 米山 一樹, "EMV 3-D セキュアにおけるChallenge Flowの形式検証", 暗号と情報セキュリティシンポジウム (SCIS 2024), Jan. 2024.

3. 藤田 和弘, 米山 一樹, "非接触充電標準Qi v1.3の複数オプションを考慮したプライバシ検証", 暗号と情報セキュリティシンポジウム (SCIS 2024), Jan. 2024.

4. 小川 純弥, 中村 周平, 品川 和雅, 米山 一樹, 秋山 梨佳, 金城 皓羽, 永井 彰, "許容パラメータ判定公式を用いたCrossbredの計算量解析", 暗号と情報セキュリティシンポジウム (SCIS 2024), Jan. 2024.

5. 三田 翔平, 米山 一樹, "ランプ型線形秘密分散に基づく一括乗算とその応用", 暗号と情報セキュリティシンポジウム (SCIS 2024), Jan. 2024.

6. 下位 伊織, 米山 一樹, "一般攻撃構造に対する非同期フォールバック保証付き完全安全同期MPCの通信複雑度の改善", 暗号と情報セキュリティシンポジウム (SCIS 2024), Jan. 2024.

7. 中林 美郷, 鈴木 幸太郎, 吉田 真紀, 花谷 嘉一, 山本 光晴, 米山 一樹, "数理的技法による情報セキュリティに関する2023年の研究動向", 日本応用数理学会2023年度研究部会連合発表会, Mar. 2024.

2022年度

[学術論文誌]

1. Ren Ishibashi, Kazuki Yoneyama, "Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles", IEICE Trans. on Fundamentals, vol.E105.A, No.9, pp.1252-1269, Sep. 2022.

2. 由比藤 真, 米山 一樹, "ベイズ最適化を用いたデータ・クエリ効率の良いBlack-box Universal Adversarial Attacks"[特選論文選定, 情報処理学会論文誌論文賞受賞], 情報処理学会論文誌, vol.63, No.12, pp.1776-1785, Dec. 2022. 

[査読付き国際会議プロシーディング]

1. Takanori Daiza, Kazuki Yoneyama, "Quantum Key Recovery Attacks on 3-Round Feistel-2 Structure without Quantum Encryption Oracles", International Workshop on Security (IWSEC 2022), LNCS13504, pp.128-144, Sep. 2022.

2. Makoto Yuito, Kenta Suzuki, Kazuki Yoneyama, "Query-Efficient Black-box Adversarial Attack with Random Pattern Noises", International Conference on Information and Communications Security (ICICS 2022), LNCS13407, pp.303-323, Sep. 2022.

[国内シンポジウム・研究会]

1. 石橋 錬, 米山 一樹, "標準モデル安全な耐量子一方向匿名認証鍵交換 (from PKC 2022)"[招待講演], 電子情報通信学会技術研究報告 (ISEC 2022-6), pp.21, May. 2022.

2. 石橋 錬, 米山 一樹, "短期秘密鍵漏洩耐性を持つIoT向け耐量子認証鍵交換 "[CSS優秀論文賞受賞], コンピュータセキュリティシンポジウム (CSS 2022), Oct. 2022.

3. 石橋 錬, 米山 一樹, "コンパクトな同種写像ベースパスワード認証鍵交換", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

4. 三田 拓夢, 石橋 錬, 米山 一樹, "標準モデルでtight安全なIDベース認証鍵交換に向けて", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

5. 鈴木 健太, 米山 一樹, "Stateful Detectionに対するラベルのみメンバーシップ推定攻撃", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

6. 宮永 英和, 藤岡 淳, 佐々木 太良, 永井 彰, 上野 真奈, 鈴木 幸太郎 , 米山 一樹, "単一局を想定した時限式IDベース暗号についての考察", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

7. 藤田 和弘, 米山 一樹, "ProVerifによるQi Authenticationの形式検証", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

8. 大井 脩平, 米山 一樹, 品川 和雅, "x^{-1}-Poseidon^\piに対する代数攻撃の評価", 暗号と情報セキュリティシンポジウム (SCIS 2023), Jan. 2023.

9. 中林 美郷, 吉田 真紀, 花谷 嘉一, 山本 光晴, 米山 一樹, "数理的技法による情報セキュリティの最近の研究動向", 日本応用数理学会2022年度研究部会連合発表会, Mar. 2023.

10. 佐藤 瑞己, 米山 一樹, "FIDO2の形式化の再考と複数モードの検証への拡張", 日本応用数理学会2022年度研究部会連合発表会, Mar. 2023.

11. 由比藤 真, 米山 一樹, "ベイズ最適化を用いたデータ・クエリ効率の良いBlack-box Universal Adversarial Attacks"[招待講演], 電子情報通信学会技術研究報告 (ICSS), Mar. 2023.

2021年度

[学術論文誌]

1. Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama, "Verification of Group Key Management of IEEE 802.21 using ProVerif", IEICE Trans. on Information and Systems, vol.E104.D, No.10, pp.1533-1543, Oct. 2021.

2. Cheng Shi, Kazuki Yoneyama, "Formal Verification of Fair Exchange based on Bitcoin Smart Contracts", IEICE Trans. on Fundamentals, vol.E105.A, No.3, pp.242-267, Mar. 2022. 

[査読付き国際会議プロシーディング]

1. Toshiya Shibata, Kazuki Yoneyama, "Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption", ACM ASIA Public-Key Cryptography Workshop (APKC 2021), ACM, pp.41-50, Jun. 2021. 

2. Ren Ishibashi, Kazuki Yoneyama, "Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles", International Conference on Applied Cryptography and Network Security (ACNS 2021), LNCS12726, pp.3-27, Jun. 2021.

3. Takanori Daiza, Kaoru Kurosawa, "Optimum Attack on 3-Round Feistel-2 Structure",  International Workshop on Security (IWSEC 2021), LNCS12835, pp.175-192, Sep. 2021.

4. Yuki Okano, Junichi Tomida, Akira Nagai, Kazuki Yoneyama, Atsushi Fujioka, Koutarou Suzuki, "Revocable Hierarchical Identity-Based Authenticated Key Exchange", International Conference on Information Security and Cryptology (ICISC 2021), LNCS13218, pp.3-27, Nov. 2021. 

5. Ren Ishibashi, Kazuki Yoneyama, "Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles", International Conference on Practice and Theory of Public-Key Cryptography (PKC 2022), LNCS13178, pp.35-65, Mar. 2022.

[国内シンポジウム・研究会]

1. 福留 直宙, 米山 一樹, "一般化Merkle-Damgård構造に対する計算機支援証明", 日本応用数理学会2021年度年会, Sep. 2021.

2. 台座 崇規, 米山 一樹, "3ラウンドFeistel暗号に対するGroverのアルゴリズムを用いた効率的な鍵回復攻撃"[CSS奨励賞受賞], コンピュータセキュリティシンポジウム (CSS 2021), Oct. 2021.

3. 石橋 錬, 米山 一樹, "標準モデル安全な耐量子一方向匿名認証鍵交換", コンピュータセキュリティシンポジウム (CSS 2021), Oct. 2021.

4. 宮永 英和, 藤岡 淳, 佐々木 太良, 岡野 裕樹, 鈴木 幸太郎, 米山 一樹, "復号制御付IDベース暗号の安全性に関する考察", 電子情報通信学会技術研究報告 (ISEC 2021-43), pp.13-17, Nov. 2021.

5. 八藤後 彬, 米山 一樹, "Bernstein-Vazirani量子アルゴリズムに基づくランダムブール関数の隠れシフト問題の求解について", 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

6. 宮永 英和, 藤岡 淳, 佐々木 太良, 岡野 裕樹, 永井 彰, 鈴木 幸太郎, 米山 一樹, "復号制御付IDベース暗号の安全性に関する考察", 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

7. 佐藤 瑞己, 米山 一樹, "状態更新を含むプロトコルに対するTamarin Proverを用いたリプレイ攻撃の検証に向けて", 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

8. Kazuma Wariki, Atsushi Fujioka, Taroh Sasaki, Kazuki Yoneyama, Yuki Okano, Akira Nagai, Koutarou Suzuki, "Malicious Private Key Generators in Identity-Based Authenticated Key Exchange", 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

9. 石橋 錬, 米山 一樹, "強フォワード秘匿性を満たす匿名一方向認証鍵交換"[SCIS論文賞受賞], 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

10. 由比藤 真, 米山 一樹, "ベイズ最適化を用いたデータ・クエリ効率の良いBlack-box Universal Adversarial Attacks", 暗号と情報セキュリティシンポジウム (SCIS 2022), Jan. 2022.

11. ムハマド ウスマーン, 米山 一樹, "同種写像問題に基づく耐量子決定的ウォレット"[情報セキュリティ研究奨励賞受賞], 電子情報通信学会技術研究報告 (ISEC2021-56), pp.50-57, Mar. 2022. 

12. 福村 春樹, 米山 一樹, "Reduced SHA-256とSHA-512に対する量子衝突攻撃における量子ビット数の削減", 電子情報通信学会技術研究報告 (ISEC2021-81), pp.196-203, Mar. 2022. 

2020年度

[学術論文誌]

1. Kazuki Yoneyama, "Password-based Authenticated Key Exchange without Centralized Trusted Setup", IEICE Trans. on Fundamentals, vol.E103.A, No.10, pp.1142-1156, Oct. 2020. 

2. Kazuki Yoneyama, "Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies", IEICE Trans. on Fundamentals, vol.E104.A, No.1, pp.69-78, Jan. 2021. 

[査読付き国際会議プロシーディング]

1. Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama, "Verification of Group Key Management of IEEE 802.21 using ProVerif", ACM ASIA Public-Key Cryptography Workshop (APKC 2020), ACM, pp.19-27, Oct. 2020. 

2. Hayami Motohashi, Kazuki Yoneyama, "Memory Efficient and Provably Secure Virus Detection", International Symposium on Information Theory and its Applications (ISITA 2020), pp.499-503, Oct. 2020. 

3. Cheng Shi, Kazuki Yoneyama, "Formal Verification of Fair Exchange based on Bitcoin Smart Contracts", International Conference on Cryptology in India (Indocrypt 2020), LNCS12578, pp.89-106, Dec. 2020.

[国内シンポジウム・研究会]

1. 野口 凌雅, 米山 一樹, "DeepSecを用いた可換性をもつ関数の形式化", 日本応用数理学会2020年度年会, Sep. 2020.

2. 台座 崇規, 黒澤 馨, "3ラウンドFeistel-KF構造に対する量子鍵回復攻撃", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

3. 八藤後 彬, 米山 一樹, "Bernstein-Vazirani量子アルゴリズムに基づく周期発見を用いた3ラウンドFeistel暗号に対する量子識別攻撃とその検証", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

4. 野口 凌雅, 花谷 嘉一, 米山 一樹, "DeepSecを用いたGroup Domain of Interpretationプロトコルの識別不可能性の検証", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

5. 石橋 錬, 米山 一樹, "標準的仮定に基づく標準モデルで適応的ID安全な階層型IDベース認証鍵交換", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

6. 岡野 裕樹, 米山 一樹, 藤岡 淳, 永井 彰, "失効可能な階層型IDベース認証鍵交換の安全性モデルと構成について", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

7. 宮永 英和, 藤岡 淳, 佐々木 太良, 岡野 裕樹, 永井 彰, 米山 一樹, "複数デバイスでのIDベース暗号の利用に関する考察", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

8. 下條道 皐太, 由比藤 真, 米山 一樹, "ステートフル検知手法のソフトラベル型Black-box攻撃に対する性能評価", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

9. 由比藤 真, 米山 一樹, "ランダムパターンノイズを用いたブラックボックスAdversarial Examples攻撃", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

10. 村上 啓造, 米山 一樹, 岡野 裕樹, 吉田 麗生, 小林 鉄太郎, "事後参照可能なクラウド保存データのエンドツーエンド暗号化とその構成例", 暗号と情報セキュリティシンポジウム (SCIS 2021), Jan. 2021.

2019年度

[学術論文誌]

1. Cheng Shi, Kazuki Yoneyama, "Verification of LINE Encryption Version 1.0 using ProVerif", IEICE Trans. on Information and Systems, vol.E102.D, No.8, pp.1439-1448 , Aug. 2019.

[査読付き国際会議プロシーディング]

1. Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama, "One-Round Authenticated Group Key Exchange from Isogenies", International Conference on Provable and Practical Security (ProvSec 2019), LNCS11821, pp.330-338, Oct. 2019.

2. Shintaro Terada, Kazuki Yoneyama, "Password-based Authenticated Key Exchange from Standard Isogeny Assumptions", International Conference on Provable and Practical Security (ProvSec 2019), LNCS11821, pp.41-56, Oct. 2019.

3. Kazuki Yoneyama, "Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny", International Conference on Security Standardization Research (SSR 2019), ACM, pp.13-21, Nov. 2019.

[査読無し国際会議プロシーディング]

1. Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama, "One-Round Authenticated Group Key Exchange from Isogenies", International Congress on Industrial and Applied Mathematics (ICIAM 2019), Jul. 2019.

[国内シンポジウム・研究会]

1. 野口 凌雅, 花谷 嘉一, 米山 一樹, "状態の更新を含むプロトコルの形式化の検討", 日本応用数理学会2019年度年会, Sep. 2019.

2. 元橋 颯充, 米山 一樹, "メモリ効率の良い証明可能安全なウィルス検出方式", コンピュータセキュリティシンポジウム (CSS 2019), Oct. 2019.

3. 岡野 裕樹, 小林 鉄太郎, 村上 啓造, 中林 美郷, 米山 一樹 , "証明書不要非同期グループ鍵交換プロトコル", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

4. 金井 佑篤, 米山 一樹, "セキュアチャネルフリー分散ORAM", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

5. 戸谷 信暁, 米山 一樹, 大瀧 保広, 山本 一幸, 西原 忠史, "茨城大学におけるダークネット宛通信のハニーポットによる分析と比較", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

6. 由比藤 真, 米山 一樹, "Black-box攻撃における決定的Adversarial Examples生成手法の拡張と比較", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

7. 中林 美郷, 小林 鉄太郎, 村上 啓造, 岡野 裕樹, 米山 一樹, "IDベース非同期多者間鍵交換", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

8. 柴田 敏弥, 米山 一樹, "動的検索可能暗号におけるフォワード安全性のUC定義について", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

9. 野口 凌雅, 花谷 嘉一, 米山 一樹, "ProVerifによるGroup Domain of Interpretationプロトコルの検証", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

10. 福留 直宙, 米山 一樹, "EasyCrypt1.0によるMerkle-Damgårdハッシュの計算機支援証明", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

11. Cheng Shi, Kazuki Yoneyama, "Zero Knowledge Contingent Paymentプロトコルの検証", 暗号と情報セキュリティシンポジウム (SCIS 2020), Jan. 2020.

12. 平野 遥, 垣本 修吾, 米山 一樹, 山口 純平, "アニーリング計算を用いたAESの差分特性探索に向けて", 電子情報通信学会技術研究報告 (ISEC 2019-105), pp.127-133, Mar. 2019. （開催中止）

2018年度

[学術論文誌]

1. Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto, "Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution", IEICE Trans. on Fundamentals, vol.E101.A, No.6, pp.929-944, Jun. 2018.

2. Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto, "Multi-cast key distribution: scalable, dynamic and provably secure construction", International Journal of Information Security, vol.17, Issue.5, pp.513–532, Oct. 2018.

[査読付き国際会議プロシーディング]

1. Cheng Shi, Kazuki Yoneyama, "Verification of LINE Encryption Version 1.0 using ProVerif", International Workshop on Security (IWSEC 2018), LNCS11409, pp.158-173, Sep. 2018.

2. Atsushi Fujioka, Kazuki Yoneyama, "Single Private-Key Generator Security Implies Multiple Private-Key Generators Security", International Conference on Provable Security (ProvSec 2018), LNCS11192, pp.56-74, Oct. 2018.

3. Shintaro Terada, Kazuki Yoneyama, "Improved Verifiable Delegated Private Set Intersection", International Symposium on Information Theory and its Applications (ISITA 2018), pp.520-524, Oct. 2018.

4. Yuma Kanai, Kazuki Yoneyama, "On Hiding Access Timings in ORAM", International Symposium on Information Theory and its Applications (ISITA 2018), pp.516-519, Oct. 2018.

5. Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama, "Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange", International Conference on Information Security and Cryptology (ICISC 2018), LNCS11396, pp.177-195, Nov. 2018. 

[国内シンポジウム・研究会]

1. 柴田 敏弥, 米山 一樹, "UC安全動的検索可能暗号の拡張とフォワード安全性について", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

2. 金井 佑篤, 米山 一樹, "複数のファイルアクセス可能なORAM", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

3. 松井 政裕, 岡野 裕樹, 村上 啓造, 小林 鉄太郎, 米山 一樹, "グループ鍵交換プロトコルにおける長期秘密鍵漏洩後の後方鍵の安全性について", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

4. 藤岡 淳, 高島 克幸, 米山 一樹, "同種写像を用いた1ラウンド認証グループ鍵共有", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

5. 寺田 槙太郎, 米山 一樹, "CSIDHに基づくパスワードベース認証鍵交換 ", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

6. 野口 凌雅, 花谷 嘉一, 米山 一樹, "ProVerifによるHEMSにおけるグループ鍵管理の検証", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

7. 師 成, 米山 一樹, "ProVerifによるスマートコントラクト決済委託プロトコルの公平性の検証", 暗号と情報セキュリティシンポジウム (SCIS 2019), Jan. 2019.

8. 勝野 凌介 , 米山 一樹, "ICカードとリーダ/ライタ間の認証プロトコルにおける認証再利用と暗号理論的安全性モデルの関係"[情報セキュリティ研究奨励賞受賞], 電子情報通信学会技術研究報告 (ISEC 2018-93), pp.77-82, Mar. 2019. 

9. 白井 直輝  , 米山 一樹, "検証可能委譲秘匿ビット比較演算", 電子情報通信学会技術研究報告 (ISEC 2018-119), pp.235-242, Mar. 2019. 

2017年度

[学術論文誌]

1. Kazuki Yoneyama, "Computational Soundness of Asymmetric Bilinear Pairing-based Protocols", IEICE Trans. on Fundamentals, vol.E100.A, No.9, pp.1794-1803, Sep. 2017.

2. Tomoyoshi Ono, Kazuki Yoneyama, "On Randomness Exposure Resilience of Group Signatures" IEICE Trans. on Information and Systems, vol.E100.D, No.10, pp.2357-2367, Oct. 2017.

3. Kazuki Yoneyama, Goichiro Hanaoka, "Compact public key encryption without full random oracles" Pervasive and Mobile Computing, vol.41, pp.,286-299, Oct. 2017.

4. Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto, "Provably Secure Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack" IEICE Trans. on Fundamentals, vol.E100.A, No.12, pp.2991-3006, Dec. 2017.

5. Kazuki Yoneyama, "Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs" International Journal of Information Security, vol.17, Issue.1, pp.43–66, Feb. 2018.

6. Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama, "Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures" International Journal of Information Security, vol.17, Issue.2, pp.193-220, Mar. 2018.

[査読付き国際会議プロシーディング]

1. Kazuki Yoneyama, Shogo Kimura, "Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency" International Conference on Information and Communications Security (ICICS 2017), LNCS10631, pp.489-501, Dec. 2017.

[国内シンポジウム・研究会]

1. 安藤 毅宙, 米山 一樹, "シグマプロトコルの合成における複製可能性について" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

2. 寺田 槙太郎, 米山 一樹, "同種写像に基づくUnified Model認証鍵交換プロトコル" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

3. 金井 佑篤, 米山 一樹, "ORAMにおけるアクセスタイミングの秘匿について" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

4. 小林 鉄太郎, 米山 一樹, 吉田 麗生, 川原 祐人, 山本 具英, 冨士 仁, "通信のメタデータを漏らさないグループ鍵交換" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

5. 吉田 麗生, 米山 一樹, 川原 祐人, 小林 鉄太郎, 冨士 仁, 山本 具英, 岡野 裕樹, 奥田 哲矢, "非対話参加可能なIDベース動的多者鍵配布プロトコルの提案とその実装評価" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

6. 松井 政裕, 岡野 裕樹, 吉田 麗生, 小林 鉄太郎, 米山 一樹, "長期秘密鍵漏洩時の動的多者鍵配布プロトコルにおける後方鍵の安全性について" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

7. 岡野 裕樹, 小林 鉄太郎, 西巻 陵, 吉田 麗生, 米山 一樹, "ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

8. 木村 翔吾, 米山 一樹, "検証可能フォワード安全動的検索可能暗号の改良" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

9. 師 成, 米山 一樹, "LINE Encryption Version 1.0のProVerifによる検証" 暗号と情報セキュリティシンポジウム (SCIS 2018), Jan. 2018.

2016年度

[学術論文誌]

1. Naoto Itakura, Kaoru Kurosawa, Kazuki Yoneyama, "Oblivious Polynomial Evaluation in the Exponent, Revisited" IEICE Trans. on Fundamentals, vol.E100.A, No.1, pp.26-33, Jan. 2017.

[査読付き国際会議プロシーディング]

1. Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama, "UC-Secure Dynamic Searchable Symmetric Encryption Scheme" International Workshop on Security (IWSEC 2016), LNCS9836, pp.73-90, Sep. 2016.

2. Shogo Kimura, Kazuki Yoneyama, "Security Proof of Identity-based Signature under RSA Assumption, Reconsidered" International Symposium on Information Theory and its Applications (ISITA 2016), pp.86-90, Oct. 2016.

3. Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto, "Multi-Cast Key Distribution: Scalable, Dynamic and Provably Secure Construction" International Conference on Provable Security (ProvSec 2016), LNCS10005, pp.207-226, Nov. 2016.

4. Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida, "Analyzing and Fixing the QACCE security of QUIC" International Conference on Security Standardization Research (SSR 2016), LNCS10074, pp.1-31, Dec. 2016.

[国内シンポジウム・研究会]

1. 米山 一樹, "セキュリティプロトコル安全性検証の理想と現実"[招待講演] CRYPTRECシンポジウム2016, Jun. 2016.

2. Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida, "A Note on Using Sigma Protocols in Cryptographic Protocols" 日本応用数理学会2016年度年会, Sep. 2016.

3. 小林 鉄太郎, 米山 一樹, 吉田 麗生, 川原 祐人, 冨士 仁, "セキュアビジネスチャットにおけるIDに基づくスケーラブルな動的多者鍵配布プロトコル" 暗号と情報セキュリティシンポジウム (SCIS 2017), Jan. 2017.

4. 寺田 槙太郎, 米山 一樹, "クライアント間の通信なしで安全な検証可能委譲秘匿共通集合演算" 暗号と情報セキュリティシンポジウム (SCIS 2017), Jan. 2017.

5. 田中 諒太, 米山 一樹, "秘匿ブルームフィルタープロトコルの拡張" 暗号と情報セキュリティシンポジウム (SCIS 2017), Jan. 2017.

6. 木村 翔吾, 米山 一樹, "ストレージ効率のよい検証可能フォワード安全動的検索可能暗号" 暗号と情報セキュリティシンポジウム (SCIS 2017), Jan. 2017.

2015年度

[学術論文誌]

1. Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama, "Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices" Designs, Codes and Cryptography, 76(3), pp.469-504, Sep. 2015.

2. Kazuki Yoneyama, "One-Round Authenticated Key Exchange without Implementation Tricks" Journal of Information Processing, vol.24, pp.9-19, Jan. 2016.

[査読付き国際会議プロシーディング]

1. Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama, "Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures" International Conference on Applied Cryptography and Network Security (ACNS 2015), LNCS9092, pp.192-214, Jun. 2015.

2. Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto, "Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack" International Conference on Security and Cryptography (SECRYPT 2015), pp.39-52, Jul. 2015.

[国内シンポジウム・研究会]

1. 櫻田 英樹, 米山 一樹, 花谷 嘉一, 吉田 真紀, "形式検証に向けたQUICの安全性定義の検討" 日本応用数理学会2015年度年会, Sep. 2015.

2. 木村 文哉, 吉田 真紀, 米山 一樹, "TLSへのLogjam攻撃のProVerifによる形式化と検出" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.

3. 小野 智義, 米山 一樹, "乱数暴露に対しても匿名性を保つグループ署名" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.

4. 黒澤 馨, 佐々木 圭佑, 太田 清比古, 米山 一樹, "UC安全性を満たす効率的で動的な検索可能暗号" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.

5. 木村 翔吾, 米山 一樹, "RSA問題に基づくIDベース署名における安全性証明の再考" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.

6. 板倉 直人, 黒澤 馨, 米山 一樹, "冪の上での紛失多項式計算の再考" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.

7. 小林 鉄太郎, 米山 一樹, 吉田 麗生, 川原 祐人, 冨士 仁, 山本 具英, "スケーラブルな動的多者鍵配布プロトコル" 暗号と情報セキュリティシンポジウム (SCIS 2016), Jan. 2016.