• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

矢内 直人  Yanai Naoto

研究者番号 30737896
その他のID
  • ORCIDhttps://orcid.org/0000-0002-0817-6188
所属 (過去の研究課題情報に基づく) *注記 2022年度 – 2024年度: 大阪大学, 大学院情報科学研究科, 准教授
2021年度: 大阪大学, 情報科学研究科, 准教授
2014年度 – 2020年度: 大阪大学, 情報科学研究科, 助教
審査区分/研究分野
研究代表者
小区分60070:情報セキュリティ関連 / 情報セキュリティ
研究代表者以外
小区分60060:情報ネットワーク関連 / 中区分60:情報科学、情報工学およびその関連分野 / 小区分60070:情報セキュリティ関連
キーワード
研究代表者
情報セキュリティ / 暗号技術 / ルーティングセキュリティ / 暗号 / 電子署名 / ネットワーク / IoT / ルーティングプロトコル / BGP / インターネットセキュリティ … もっと見る / 暗号実装 / インターネット経路 / 格子暗号 / インターネットルーティング / 鍵更新機能 / セキュリティ設計 / 鍵更新 / 認証 / コンピュータセキュリティ / 暗号化状態検索 / 高機能暗号 / 暗号・認証等 / セキュア・ネットワーク / 集約暗号 / IoTネットワーク / IDベース署名 / 多重署名 / セキュアルーティング / 証明可能安全性 / 集約可能電子署名 / サイバーセキュリティ … もっと見る
研究代表者以外
無線マルチホッププロトコル / 経路保証プロトコル / モデル検査 / 高機能暗号 / 視覚暗号 / 物理暗号 / 検索可能暗号 / 秘匿検索 / 暗号理論 / 安全性検証 / 集約署名 / 格子署名 / ルーティングプロトコル / 形式検証 / 状態爆発抑制 隠す
  • 研究課題

    (8件)
  • 研究成果

    (68件)
  • 共同研究者

    (13人)
  •  真に高機能暗号の社会展開に資する物理・視覚暗号

    • 研究代表者
      花岡 悟一郎
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      国立研究開発法人産業技術総合研究所
  •  格子暗号によるインターネット経路セキュリティの実現研究代表者

    • 研究代表者
      矢内 直人
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60070:情報セキュリティ関連
    • 研究機関
      大阪大学
  •  経路保証プロトコルの効率的な安全性検証手法の開発

    • 研究代表者
      小島 英春
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60060:情報ネットワーク関連
    • 研究機関
      大阪工業大学
      大阪大学
  •  広範な検索機能と高い効率性を両立する秘匿検索技術の実現

    • 研究代表者
      渡邉 洋平
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60070:情報セキュリティ関連
    • 研究機関
      電気通信大学
  •  経路保証プロトコルのモデル検査手法の開発

    • 研究代表者
      小島 英春
    • 研究期間 (年度)
      2018 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60060:情報ネットワーク関連
    • 研究機関
      大阪工業大学
      大阪大学
  •  省計算能力デバイスでの利用に向けた更新機能を持つ高機能暗号の研究研究代表者

    • 研究代表者
      矢内 直人
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      若手研究
    • 審査区分
      小区分60070:情報セキュリティ関連
    • 研究機関
      大阪大学
  •  安全なIoT ネットワークの経路制御に関する研究研究代表者

    • 研究代表者
      矢内 直人
    • 研究期間 (年度)
      2016 – 2017
    • 研究種目
      若手研究(B)
    • 研究分野
      情報セキュリティ
    • 研究機関
      大阪大学
  •  安全なインターネット経路構成技術に関する研究研究代表者

    • 研究代表者
      矢内 直人
    • 研究期間 (年度)
      2014 – 2015
    • 研究種目
      研究活動スタート支援
    • 研究分野
      情報セキュリティ
    • 研究機関
      大阪大学

すべて 2024 2023 2021 2020 2019 2018 2017 2016 2015 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Smart Micro-Grid Systems Security and Privacy2018

    • 著者名/発表者名
      Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Designated Verifier Signature with Claimability2024

    • 著者名/発表者名
      YAMASHITA Kyosuke、HARA Keisuke、WATANABE Yohei、YANAI Naoto、SHIKATA Junji
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E107.A 号: 3 ページ: 203-217

    • DOI

      10.1587/transfun.2023CIP0016

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2024-03-01
    • 言語
      英語
    • データソース
      KAKENHI-PROJECT-23K24847
  • [雑誌論文] REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory2024

    • 著者名/発表者名
      Arai Mine、Tejima Koki、Yamada Yuya、Miura Takayuki、Yamashita Kyosuke、Kado Chihiro、Shimizu Rei、Tatsumi Masataka、Yanai Naoto、Hanaoka Goichiro
    • 雑誌名

      IEEE Access

      巻: 12 ページ: 47359-47372

    • DOI

      10.1109/access.2024.3377699

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23H00479
  • [雑誌論文] Generic Construction of Key-Aggregate Searchable Encryption2023

    • 著者名/発表者名
      M. Kamimura, K. Yamashita, and N. Yanai
    • 雑誌名

      Proc. of GeoPrivacy 2023

      巻: - ページ: 1-4

    • DOI

      10.1145/3615889.3628512

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K21668
  • [雑誌論文] APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec2023

    • 著者名/発表者名
      JUNJIE Ouyang、YANAI Naoto、TAKEMURA Tatsuya、OKADA Masayuki、OKAMURA Shingo、CRUZ Jason Paul
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E106.A 号: 3 ページ: 170-184

    • DOI

      10.1587/transfun.2022CIP0024

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2023-03-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K24847
  • [雑誌論文] The Juice Is Worth the Squeeze: Analysis of Autonomous System Provider Authorization in Partial Deployment2023

    • 著者名/発表者名
      Umeda Naoki、Kimura Taiji、Yanai Naoto
    • 雑誌名

      IEEE Open Journal of the Communications Society

      巻: 4 ページ: 269-306

    • DOI

      10.1109/ojcoms.2022.3233833

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K24847
  • [雑誌論文] 高機能暗号の社会展開を促進する物理・視覚暗号2023

    • 著者名/発表者名
      花岡悟一郎, 岩本貢, 渡邉洋平, 水木敬明, 安部芳紀, 品川和雅, 新井美音, 矢内直人
    • 雑誌名

      電子電子情報通信学会論文誌A 基礎・境界

      巻: J106-A 号: 8 ページ: 214-228

    • DOI

      10.14923/transfunj.2022JAI0002

    • ISSN
      1881-0195
    • 年月日
      2023-08-01
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22KJ1362, KAKENHI-PROJECT-21K17702, KAKENHI-PROJECT-21K11881, KAKENHI-PROJECT-23H00479, KAKENHI-PROJECT-23K21644
  • [雑誌論文] APVAS+: A Practical Extension of BGPsec with Low Memory Requirement2021

    • 著者名/発表者名
      Tatsuya Takemura, , Naoto Yanai, Naoki Umeda, Masayuki Okada, Shingo Okamura, Jason Paul Cruz
    • 雑誌名

      Proc. of 2021 IEEE International Conference on Communications (ICC 2021)

      巻: 2020 ページ: 1-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] SQUAB: A Virtualized Infrastructure for Experiments on BGP and Its Extensions2021

    • 著者名/発表者名
      Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz and Shingo Okamura
    • 雑誌名

      Proc. of The 35th International Conference on Advanced Information Networking and Applications (AINA 2021)

      巻: LNNS 225 ページ: 600-613

    • DOI

      10.1007/978-3-030-75100-5_52

    • ISBN
      9783030750992, 9783030751005
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] Eth2Vec:Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts2021

    • 著者名/発表者名
      Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Singo Okamura
    • 雑誌名

      Proc. of The Third ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI 2021)

      巻: 2021 ページ: 1-10

    • DOI

      10.1145/3457337.3457841

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] Self-Organizing Map assisted Deep Autoencoding Gaussian Mixture Model for Intrusion Detection2021

    • 著者名/発表者名
      Yang Chen, Nami Ashizawa, Seanglidet Yean, Chai Kiat Yeo, Naoto Yanai
    • 雑誌名

      Proc. of IEEE Consumer Communications and Networking Conference (CCNC) 2021

      巻: 2021 ページ: 1-6

    • DOI

      10.1109/ccnc49032.2021.9369451

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis2020

    • 著者名/発表者名
      Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
    • 雑誌名

      Proc. of the 3rd IEEE International Conference on Blockchain (Blockcha2020)

      巻: 2020 ページ: 327-336

    • DOI

      10.1109/blockchain50366.2020.00048

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation2020

    • 著者名/発表者名
      Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz
    • 雑誌名

      IEEE Access

      巻: 8 ページ: 24153-24169

    • DOI

      10.1109/access.2020.2967793

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] Efficient Secure Neural Network Prediction Protocol Reducing Accuracy Degradation2020

    • 著者名/発表者名
      Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Jason Paul Cruz, Naoto Yanai, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E103.A 号: 12 ページ: 1367-1380

    • DOI

      10.1587/transfun.2020TAP0011

    • NAID

      130007948301

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2020-12-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K18049, KAKENHI-PROJECT-19H01109
  • [雑誌論文] ISDSR+: Improving the Security and Availability of Secure Routing Protocol2019

    • 著者名/発表者名
      Kojima Hideharu、Yanai Naoto、Cruz Jason Paul
    • 雑誌名

      IEEE Access

      巻: 7 ページ: 74849-74868

    • DOI

      10.1109/access.2019.2916318

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11262, KAKENHI-PROJECT-18K18049
  • [雑誌論文] Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to A Security Model with Cache2019

    • 著者名/発表者名
      Shimamoto Hayato, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, Shouei Ou, Takao Okubo
    • 雑誌名

      IEEE Access

      巻: 7 ページ: 74941-74960

    • DOI

      10.1109/access.2019.2920675

    • NAID

      130007887898

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K18049
  • [雑誌論文] Detecting Flooding Attack and Accommodating Burst Traffic in Delay Tolerant Networks2018

    • 著者名/発表者名
      Thi Ngoc Diep Pham, Chai Kiat Yeo, Naoto Yanai, Toru Fujiwara
    • 雑誌名

      IEEE Transactions on Vehicular Technology

      巻: 67 号: 1 ページ: 795-808

    • DOI

      10.1109/tvt.2017.2748345

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Meeting Tight Security for Multisignatures in the Plain Public Key Model2018

    • 著者名/発表者名
      Naoto Yanai
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E101-A

    • NAID

      130007479443

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Tighter Reductions for Deterministic Identity-Based Signatures2018

    • 著者名/発表者名
      Naoto Yanai, Toru Fujiwara
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E101.A 号: 1 ページ: 64-76

    • DOI

      10.1587/transfun.E101.A.64

    • NAID

      130006300885

    • ISSN
      0916-8508, 1745-1337
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] SPaCIS: Secure Payment Protocol for Charging Information over Smart Grid2017

    • 著者名/発表者名
      Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
    • 雑誌名

      Journal of Information Processing

      巻: 25 号: 0 ページ: 12-21

    • DOI

      10.2197/ipsjjip.25.12

    • NAID

      130005292377

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Provably Secure Structured Signature Schemes with Tighter Reductions2017

    • 著者名/発表者名
      Naoto Yanai, Tomoya Iwasaki, Masaki Inamura, Keiichi Iwamura
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E100.A 号: 9 ページ: 1870-1881

    • DOI

      10.1587/transfun.E100.A.1870

    • NAID

      130006038265

    • ISSN
      0916-8508, 1745-1337
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] APAT: BGPSEC におけるアグリゲート署名の導入2017

    • 著者名/発表者名
      田中 和磨, 矢内 直人, 岡田 雅之, 西出 隆志, 岡本栄司
    • 雑誌名

      情報処理学会論文誌

      巻: 58 ページ: 544-556

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Towards Provable Security of Dynamic Source Routing Protocol and Its Applications2016

    • 著者名/発表者名
      Naoto Yanai
    • 雑誌名

      Proc. of ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP

      巻: 9975 ページ: 231-239

    • DOI

      10.1007/978-3-319-47717-6_20

    • ISBN
      9783319477169, 9783319477176
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-16K16065
  • [雑誌論文] Fail-Stop Signatures for Multiple-Signers: Definitions, Constructions, and Their Extensions2016

    • 著者名/発表者名
      Naoto Yanai, Masahiro Mambo, Kazuma Tanaka, Takashi Nishide, Eiji Okamoto
    • 雑誌名

      Journal of Information Processing

      巻: 24 号: 2 ページ: 275-291

    • DOI

      10.2197/ipsjjip.24.275

    • NAID

      130005138297

    • ISSN
      1882-6652
    • 言語
      英語
    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26880012
  • [雑誌論文] Fail-Stop Signatures for Multiple-Signers: Definitions, Constructions, and Their Extensions2016

    • 著者名/発表者名
      Nobuaki Kitajima, Naoto Yanai, Takashi Nishide, Goichiro Hanaoka, Eji Okamoto
    • 雑誌名

      Journal of Information Processing

      巻: 24 ページ: 275-291

    • DOI

      10.1007/978-3-319-31550-8_3

    • NAID

      130005138297

    • ISBN
      9783319315492, 9783319315508
    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] 適切な意思決定を支援する秘密計算紹介動画の作製およびユーザ調査2024

    • 著者名/発表者名
      新井 美音, 矢内 直人, 花岡 悟一郎
    • 学会等名
      暗号と情報セキュリティシンポジウム (SCIS) 2024
    • データソース
      KAKENHI-PROJECT-23H00479
  • [学会発表] 経路検証技術ASPAの普及におけるBGPルーティングの不具合に関する考察2023

    • 著者名/発表者名
      山口 雄翔, 木村 泰司, 矢内 直人, 猪俣 敦夫
    • 学会等名
      インターネットアーキテクチャ研究会
    • データソース
      KAKENHI-PROJECT-23K24847
  • [学会発表] Designated Verifier Signature with Claimability2023

    • 著者名/発表者名
      Kyosuke YAMASHITA, Keisuke HARA, Yohei WATANABE, Naoto YANAI, and Junji SHIKATA,
    • 学会等名
      The 10th ACM Asia Public-Key Cryptography Workshop (APKC 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K24847
  • [学会発表] 経路保証プロトコルへのIDベース格子集約署名の適用へ向けて2023

    • 著者名/発表者名
      小島英春, 矢内直人
    • 学会等名
      電子情報通信学会ネットワークソフトウェア研究会
    • データソース
      KAKENHI-PROJECT-21K11866
  • [学会発表] 非専門家との検索可能暗号の説明資料の作成とユーザ調査2023

    • 著者名/発表者名
      浅沼 秀俊, 桑形 愛, 長根 貴之 , 山下 恭佑, 矢内 直人, 花岡 悟一郎
    • 学会等名
      コンピュータセキュリティシンポジウム (CSS) 2023コンピュータセキュリティシンポジウム (CSS) 2023
    • データソース
      KAKENHI-PROJECT-23H00479
  • [学会発表] 意外と身近?日常にひそむ暗号技術2023

    • 著者名/発表者名
      菅野哲, 酒見由美, 矢内直人
    • 学会等名
      GMO DevDay 2023
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23H00479
  • [学会発表] KOTO Crypto: Educational cryptography with the Koto2023

    • 著者名/発表者名
      Mine Arai, Naoto Yanai and Goichiro Hanaoka
    • 学会等名
      The 18th International Workshop on Security (IWSEC 2023), Poster
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23H00479
  • [学会発表] インターネットを支える力について考える -セキュリティ技術の普及 – RPKI/DNSSEC/DMARCを題材に-2023

    • 著者名/発表者名
      小川博久, 木村泰司, 矢萩 茂樹, 菊池 豊, 重田 新平, 矢内 直人
    • 学会等名
      Internet Week 2024
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K24847
  • [学会発表] REN-A.I. -Generation-: 生成AIの利用者に向けたAIリテラシー教育ゲーム2023

    • 著者名/発表者名
      新井 美音, 矢内 直人
    • 学会等名
      コンピュータセキュリティシンポジウム (CSS) 2023 デモンストレーションセッション
    • データソース
      KAKENHI-PROJECT-23H00479
  • [学会発表] Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols2023

    • 著者名/発表者名
      Seiya Ookura, Hideharu Kojima, Naoto Yanai
    • 学会等名
      International Conference on Information and Computer Technologies
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11866
  • [学会発表] スマートコントラクト -プログラミングプラットホームとしてのブロックチェーン-2020

    • 著者名/発表者名
      矢内直人
    • 学会等名
      2020年度 情報処理学会関西支部 定期講演会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction2020

    • 著者名/発表者名
      Kojima Hideharu、Yanai Naoto
    • 学会等名
      2020 IEEE International Parallel and Distributed Processing Symposium Workshops(APDCM2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] Implementation and Evaluation of ISDSR in Emulation Environments2019

    • 著者名/発表者名
      Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
    • 学会等名
      2019 IEEE Wireless Communications and Networking Conference, WCNC2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] アドホックネットワークプロトコルのモデル検査における状態数削減手法2019

    • 著者名/発表者名
      小島英春, 矢内直人
    • 学会等名
      第18回電子情報通信学会ネットワークソフトウエア研究会予稿集
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] SecureHID:USBインタフェースのセキュリティ2019

    • 著者名/発表者名
      ゲッテ ヤン, 矢内 直人, 森 達哉
    • 学会等名
      コンピュータセキュリティ
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019

    • 著者名/発表者名
      Hideharu Kojima, Naoto Yanai
    • 学会等名
      IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] sslstrip攻撃の脅威に関する検討2019

    • 著者名/発表者名
      王 晶栄, 矢内 直人, 大久保 隆夫, 岡村 真吾
    • 学会等名
      コンピュータセキュリティシンポジウム2019 (CSS 2019)
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] 証明可能安全な鍵集約検索可能暗号の構成と実装評価2019

    • 著者名/発表者名
      上村 真弘, 矢内 直人, クルズ ジェイソン ポール, 岡村 真吾
    • 学会等名
      コンピュータセキュリティシンポジウム2019 (CSS 2019)
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019

    • 著者名/発表者名
      Hideharu Kojima, Naoto Yanai
    • 学会等名
      Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] 経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて2018

    • 著者名/発表者名
      小島英春, 矢内直人
    • 学会等名
      第16回電子情報通信学会ネットワークソフトウェア研究会,
    • データソース
      KAKENHI-PROJECT-18K11262
  • [学会発表] On Security of Anonymous Invitation-Based System2018

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      the 13th DPM International Workshop on Data Privacy Management (DPM 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] ブロックチェーンで解決すべき応用課題やアプリケーション2018

    • 著者名/発表者名
      矢内直人
    • 学会等名
      第21回 KECテクノフォーラム
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K18049
  • [学会発表] Tightly Secure Identity-Based Multisignatures2017

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      2017 IEEE International Conference on Consumer Electronics, Taiwan (ICCE-TW 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] An Anonymous Authentication Protocol for Smart Grid2017

    • 著者名/発表者名
      Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
    • 学会等名
      The 5th International Workshop on Security Intricacies in Cyber-Physical Systems and Services (INTRICATE-SEC 2017)
    • 発表場所
      Taipei, Taiwan
    • 年月日
      2017-03-27
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] “ISDSR : Secure DSR with ID-based Sequential Aggregate Signature2016

    • 著者名/発表者名
      Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
    • 学会等名
      13th International Joint Conference on e-business and Telecommunications (ICETE 2016)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2016-07-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] Web Security Model with Cache2016

    • 著者名/発表者名
      Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara
    • 学会等名
      International Symposium on Information Theory and its Application (ISITA) 2016
    • 発表場所
      Monterey, California, USA
    • 年月日
      2016-10-30
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] APAT: An Application of Aggregate Signatures to BGPSEC2016

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      The 11th International Workshop on Security (IWSEC 2016)
    • 発表場所
      Tokyo, Japan
    • 年月日
      2016-09-12
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] Tightly-Secure Identity-Based Structured Aggregate Signature Scheme under the computational Diffie-Hellman Assumption2016

    • 著者名/発表者名
      Tomoya Iwasaki, Naoto Yanai, Masaki Inamura, Keiichi Iwamura
    • 学会等名
      The 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016)
    • 発表場所
      Crans-Montana, Switzerland
    • 年月日
      2016-03-23
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] APAT: An Application of Aggregate Signatures to BGPSEC2016

    • 著者名/発表者名
      azuma Tanaka, Naoto Yanai, Masayuki Okada, Takashi Nishide, Eiji Okamoto
    • 学会等名
      The 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
    • 発表場所
      Toulouse, France
    • 年月日
      2016-06-28
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] Towards Provable Security of Dynamic Source Routing Protocol and Its Applications2016

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP
    • 発表場所
      Gifu, Japan
    • 年月日
      2016-11-14
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] 経路制御の定式化に向けて:DSR の構成2016

    • 著者名/発表者名
      矢内 直人
    • 学会等名
      2016年暗号と情報セキュリティシンポジウム
    • 発表場所
      熊本
    • 年月日
      2016-01-19
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] 多人数署名を用いたSecure-DSRの提案2016

    • 著者名/発表者名
      村中 謙太、矢内 直人、岡村 真吾、藤原 融
    • 学会等名
      2016年暗号と情報セキュリティシンポジウム
    • 発表場所
      熊本
    • 年月日
      2016-01-19
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] On the Tightness of Deterministic Identity-Based Signatures2016

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      The Fourth International Symposium on Computing and Networking (CANDAR 2016)
    • 発表場所
      Hiroshima, Japan
    • 年月日
      2016-11-24
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] Towards a Formal Foundation of Protection against Data-Oriented Attacks2016

    • 著者名/発表者名
      Ryo Fukuyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara
    • 学会等名
      International Symposium on Information Theory and its Application (ISITA) 2016
    • 発表場所
      Monterey, California, USA
    • 年月日
      2016-10-30
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16065
  • [学会発表] Secure Payment Protocol for Charging Information over SmartGrid2015

    • 著者名/発表者名
      Hikaru Kishimoto, Shingo Okamura, Naoto Yanai
    • 学会等名
      The 10th International Workshop on Security (IWSEC2015)
    • 発表場所
      Nara, Japan
    • 年月日
      2015-08-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Constructions of Fail-Stop Signatures for Multi-Signer Setting2015

    • 著者名/発表者名
      Nobuaki Kitajima, Naoto Yanai, Takashi Nishide, Goichiro Hanaoka and Eiji Okamoto
    • 学会等名
      the 10th Asia Joint Conference on Information Security (AsiaJCIS 2015)
    • 発表場所
      Kaohsiung, Taiwang
    • 年月日
      2015-05-24
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Secure Routing Protocols for Sensor Networks: Construction with Signature Schemes for Multiple Signers2015

    • 著者名/発表者名
      Kenta Muranaka, Naoto Yanai, Shingo Okamura and Toru Fujiwara
    • 学会等名
      The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2015)
    • 発表場所
      Helsinki, Finland
    • 年月日
      2015-08-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] BGPSECにおけるアグリゲート署名の導入2015

    • 著者名/発表者名
      田中 和磨, 矢内 直人, 岡田 雅之, 金山 直樹, 西出 隆志, 岡本 栄司
    • 学会等名
      コンピュータセキュリティシンポジウム2015 (CSS2015)
    • 発表場所
      長崎
    • 年月日
      2015-10-22
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack2015

    • 著者名/発表者名
      Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto
    • 学会等名
      the 12th International Conference on Security and Cryptography (SECRYPT 2015)
    • 発表場所
      Alsace, France
    • 年月日
      2015-07-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Toward Secure Routing Protocols for Sensor Networks2015

    • 著者名/発表者名
      Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
    • 学会等名
      The 10th International Workshop on Security (IWSEC2015)
    • 発表場所
      Nara, Japan
    • 年月日
      2015-08-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] A CDH-Ordered Multisignature Scheme in the Standard Model with Better Efficiency

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      International Symposium on Information Theory and its Application (ISITA) 2014
    • 発表場所
      Melbourne, Australia
    • 年月日
      2014-10-26 – 2014-10-29
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Ordered Multisignatures Made Shorter

    • 著者名/発表者名
      Naoto YANAI
    • 学会等名
      第37回情報理論とその応用シンポジウム (SITA 2014)
    • 発表場所
      宇奈月温泉, 富山
    • 年月日
      2014-12-10 – 2014-12-12
    • データソース
      KAKENHI-PROJECT-26880012
  • [学会発表] Constructions of Fail-Stop Signatures for Multi-Signer Setting

    • 著者名/発表者名
      Naoto Yanai
    • 学会等名
      AsiaJCIS 2015
    • 発表場所
      Kaoshung, Taiwan
    • 年月日
      2015-05-24 – 2015-05-26
    • データソース
      KAKENHI-PROJECT-26880012
  • 1.  小島 英春 (90610949)
    共同の研究課題数: 3件
    共同の研究成果数: 9件
  • 2.  渡邉 洋平 (40792263)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  岡村 真吾 (50423132)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  CRUZ JASON.PAUL (40807731)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  花岡 悟一郎 (30415731)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 6.  品川 和雅 (20896089)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  宮原 大輝 (20928288)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  Attrapadung Nuttapong (40515300)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  岩本 貢 (50377016)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  松田 隆宏 (60709492)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  水木 敬明 (90323089)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  宮本 賢伍 (90845801)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  山下 恭佑 (90935743)
    共同の研究課題数: 1件
    共同の研究成果数: 2件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi