研究業績

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


2017年度


[学術論文誌]
  1. 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, Online First, Aug. 2017.
  2. Kazuki Yoneyama,
    "Computational Soundness of Asymmetric Bilinear Pairing-based Protocols"
    IEICE Trans. on Fundamentals, vol.E100.A, No.9, pp.1794-1803, Sep. 2017.
  3. 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.
  4. Kazuki Yoneyama, Goichiro Hanaoka,
    "Compact public key encryption without full random oracles"
    Pervasive and Mobile Computing, vol.41, pp.,286-299, Oct. 2017.
  5. 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.
  6. 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.
  7. 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), LNCS, pp., 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.