Yanai Naoto 矢内直人

Researcher Number	30737896
Other IDs	https://orcid.org/0000-0002-0817-6188
Affiliation (based on the past Project Information) *help	2022 – 2024: 大阪大学, 大学院情報科学研究科, 准教授 2021: 大阪大学, 情報科学研究科, 准教授 2014 – 2020: 大阪大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Information security Except Principal Investigator Basic Section 60060:Information network-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60070:Information security-related
Keywords	Principal Investigator 情報セキュリティ / 暗号技術 / ルーティングセキュリティ / 暗号 / 電子署名 / ネットワーク / IoT / ルーティングプロトコル / BGP / インターネットセキュリティ … More / 暗号実装 / インターネット経路 / 格子暗号 / インターネットルーティング / 鍵更新機能 / セキュリティ設計 / 鍵更新 / 認証 / コンピュータセキュリティ / 暗号化状態検索 / 高機能暗号 / 暗号・認証等 / セキュア・ネットワーク / 集約暗号 / IoTネットワーク / IDベース署名 / 多重署名 / セキュアルーティング / 証明可能安全性 / 集約可能電子署名 / サイバーセキュリティ … More Except Principal Investigator 無線マルチホッププロトコル / 経路保証プロトコル / モデル検査 / 高機能暗号 / 視覚暗号 / 物理暗号 / 検索可能暗号 / 秘匿検索 / 暗号理論 / 安全性検証 / 集約署名 / 格子署名 / ルーティングプロトコル / 形式検証 / 状態爆発抑制 Less

真に高機能暗号の社会展開に資する物理・視覚暗号
- Principal Investigator
  
  花岡悟一郎
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Realizing Internet Routing Security Based on Lattice-Based CryptographyPrincipal Investigator
- Principal Investigator
  
  矢内直人
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Osaka University
経路保証プロトコルの効率的な安全性検証手法の開発
- Principal Investigator
  
  小島英春
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka Institute of Technology
  Osaka University
Towards Encrypted Search Protocols with Flexible Search Functions and High Efficiency
- Principal Investigator
  
  渡邉洋平
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  The University of Electro-Communications
A model checking method for secure routing protocols
- Principal Investigator
  
  Hideharu Kojima
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka Institute of Technology
  Osaka University
Research on Advanced Cryptography with Updatability for Devices with Low Computational ResourcesPrincipal Investigator
- Principal Investigator
  
  Yanai Naoto
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Osaka University
A Study on Routing Security for IoT NetworksPrincipal Investigator
- Principal Investigator
  
  Yanai Naoto
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Information security
- Research Institution
  Osaka University
Research on Secure and Efficient Internet Routing ProtocolsPrincipal Investigator
- Principal Investigator
  
  Yanai Naoto
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Information security
- Research Institution
  Osaka University

All 2024 2023 2021 2020 2019 2018 2017 2016 2015 Other

All Journal Article Presentation Book

[Book] Smart Micro-Grid Systems Security and Privacy2018
- Author(s)
  Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Designated Verifier Signature with Claimability2024
- Author(s)
  YAMASHITA Kyosuke、HARA Keisuke、WATANABE Yohei、YANAI Naoto、SHIKATA Junji
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E107.A Issue: 3 Pages: 203-217
- DOI
  10.1587/transfun.2023CIP0016
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2024-03-01
- Language
  English
- Data Source
  KAKENHI-PROJECT-23K24847
[Journal Article] REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory2024
- Author(s)
  Arai Mine、Tejima Koki、Yamada Yuya、Miura Takayuki、Yamashita Kyosuke、Kado Chihiro、Shimizu Rei、Tatsumi Masataka、Yanai Naoto、Hanaoka Goichiro
- Journal Title
  
  IEEE Access
  
  Volume: 12 Pages: 47359-47372
- DOI
  10.1109/access.2024.3377699
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23H00479
[Journal Article] Generic Construction of Key-Aggregate Searchable Encryption2023
- Author(s)
  M. Kamimura, K. Yamashita, and N. Yanai
- Journal Title
  
  Proc. of GeoPrivacy 2023
  
  Volume: － Pages: 1-4
- DOI
  10.1145/3615889.3628512
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21668
[Journal Article] APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec2023
- Author(s)
  JUNJIE Ouyang、YANAI Naoto、TAKEMURA Tatsuya、OKADA Masayuki、OKAMURA Shingo、CRUZ Jason Paul
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E106.A Issue: 3 Pages: 170-184
- DOI
  10.1587/transfun.2022CIP0024
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24847
[Journal Article] The Juice Is Worth the Squeeze: Analysis of Autonomous System Provider Authorization in Partial Deployment2023
- Author(s)
  Umeda Naoki、Kimura Taiji、Yanai Naoto
- Journal Title
  
  IEEE Open Journal of the Communications Society
  
  Volume: 4 Pages: 269-306
- DOI
  10.1109/ojcoms.2022.3233833
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24847
[Journal Article] Physical and Visual Cryptography to Accelerate Social Implementation of Advanced Cryptographic Technologies2023
- Author(s)
  花岡悟一郎, 岩本貢, 渡邉洋平, 水木敬明, 安部芳紀, 品川和雅, 新井美音, 矢内直人
- Journal Title
  
  電子電子情報通信学会論文誌A 基礎・境界
  
  Volume: J106-A Issue: 8 Pages: 214-228
- DOI
  10.14923/transfunj.2022JAI0002
- ISSN
  1881-0195
- Year and Date
  2023-08-01
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22KJ1362, KAKENHI-PROJECT-21K17702, KAKENHI-PROJECT-21K11881, KAKENHI-PROJECT-23H00479, KAKENHI-PROJECT-23K21644
[Journal Article] APVAS+: A Practical Extension of BGPsec with Low Memory Requirement2021
- Author(s)
  Tatsuya Takemura, , Naoto Yanai, Naoki Umeda, Masayuki Okada, Shingo Okamura, Jason Paul Cruz
- Journal Title
  
  Proc. of 2021 IEEE International Conference on Communications (ICC 2021)
  
  Volume: 2020 Pages: 1-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] SQUAB: A Virtualized Infrastructure for Experiments on BGP and Its Extensions2021
- Author(s)
  Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz and Shingo Okamura
- Journal Title
  
  Proc. of The 35th International Conference on Advanced Information Networking and Applications (AINA 2021)
  
  Volume: LNNS 225 Pages: 600-613
- DOI
  10.1007/978-3-030-75100-5_52
- ISBN
  9783030750992, 9783030751005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] Eth2Vec:Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts2021
- Author(s)
  Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Singo Okamura
- Journal Title
  
  Proc. of The Third ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI 2021)
  
  Volume: 2021 Pages: 1-10
- DOI
  10.1145/3457337.3457841
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] Self-Organizing Map assisted Deep Autoencoding Gaussian Mixture Model for Intrusion Detection2021
- Author(s)
  Yang Chen, Nami Ashizawa, Seanglidet Yean, Chai Kiat Yeo, Naoto Yanai
- Journal Title
  
  Proc. of IEEE Consumer Communications and Networking Conference (CCNC) 2021
  
  Volume: 2021 Pages: 1-6
- DOI
  10.1109/ccnc49032.2021.9369451
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis2020
- Author(s)
  Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura
- Journal Title
  
  Proc. of the 3rd IEEE International Conference on Blockchain (Blockcha2020)
  
  Volume: 2020 Pages: 327-336
- DOI
  10.1109/blockchain50366.2020.00048
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation2020
- Author(s)
  Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz
- Journal Title
  
  IEEE Access
  
  Volume: 8 Pages: 24153-24169
- DOI
  10.1109/access.2020.2967793
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] Efficient Secure Neural Network Prediction Protocol Reducing Accuracy Degradation2020
- Author(s)
  Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Jason Paul Cruz, Naoto Yanai, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E103.A Issue: 12 Pages: 1367-1380
- DOI
  10.1587/transfun.2020TAP0011
- NAID
  130007948301
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2020-12-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K18049, KAKENHI-PROJECT-19H01109
[Journal Article] ISDSR+: Improving the Security and Availability of Secure Routing Protocol2019
- Author(s)
  Kojima Hideharu、Yanai Naoto、Cruz Jason Paul
- Journal Title
  
  IEEE Access
  
  Volume: 7 Pages: 74849-74868
- DOI
  10.1109/access.2019.2916318
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11262, KAKENHI-PROJECT-18K18049
[Journal Article] Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to A Security Model with Cache2019
- Author(s)
  Shimamoto Hayato, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, Shouei Ou, Takao Okubo
- Journal Title
  
  IEEE Access
  
  Volume: 7 Pages: 74941-74960
- DOI
  10.1109/access.2019.2920675
- NAID
  130007887898
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K18049
[Journal Article] Detecting Flooding Attack and Accommodating Burst Traffic in Delay Tolerant Networks2018
- Author(s)
  Thi Ngoc Diep Pham, Chai Kiat Yeo, Naoto Yanai, Toru Fujiwara
- Journal Title
  
  IEEE Transactions on Vehicular Technology
  
  Volume: 67 Issue: 1 Pages: 795-808
- DOI
  10.1109/tvt.2017.2748345
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Meeting Tight Security for Multisignatures in the Plain Public Key Model2018
- Author(s)
  Naoto Yanai
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: E101-A
- NAID
  130007479443
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Tighter Reductions for Deterministic Identity-Based Signatures2018
- Author(s)
  Naoto Yanai, Toru Fujiwara
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E101.A Issue: 1 Pages: 64-76
- DOI
  10.1587/transfun.E101.A.64
- NAID
  130006300885
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] SPaCIS: Secure Payment Protocol for Charging Information over Smart Grid2017
- Author(s)
  Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
- Journal Title
  
  Journal of Information Processing
  
  Volume: 25 Issue: 0 Pages: 12-21
- DOI
  10.2197/ipsjjip.25.12
- NAID
  130005292377
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Provably Secure Structured Signature Schemes with Tighter Reductions2017
- Author(s)
  Naoto Yanai, Tomoya Iwasaki, Masaki Inamura, Keiichi Iwamura
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E100.A Issue: 9 Pages: 1870-1881
- DOI
  10.1587/transfun.E100.A.1870
- NAID
  130006038265
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] APAT: BGPSEC におけるアグリゲート署名の導入2017
- Author(s)
  田中和磨, 矢内直人, 岡田雅之, 西出隆志, 岡本栄司
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 58 Pages: 544-556
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Towards Provable Security of Dynamic Source Routing Protocol and Its Applications2016
- Author(s)
  Naoto Yanai
- Journal Title
  
  Proc. of ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP
  
  Volume: 9975 Pages: 231-239
- DOI
  10.1007/978-3-319-47717-6_20
- ISBN
  9783319477169, 9783319477176
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K16065
[Journal Article] Fail-Stop Signatures for Multiple-Signers: Definitions, Constructions, and Their Extensions2016
- Author(s)
  Naoto Yanai, Masahiro Mambo, Kazuma Tanaka, Takashi Nishide, Eiji Okamoto
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 2 Pages: 275-291
- DOI
  10.2197/ipsjjip.24.275
- NAID
  130005138297
- ISSN
  1882-6652
- Language
  English
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26880012
[Journal Article] Fail-Stop Signatures for Multiple-Signers: Definitions, Constructions, and Their Extensions2016
- Author(s)
  Nobuaki Kitajima, Naoto Yanai, Takashi Nishide, Goichiro Hanaoka, Eji Okamoto
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Pages: 275-291
- DOI
  10.1007/978-3-319-31550-8_3
- NAID
  130005138297
- ISBN
  9783319315492, 9783319315508
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] 適切な意思決定を支援する秘密計算紹介動画の作製およびユーザ調査2024
- Author(s)
  新井美音, 矢内直人, 花岡悟一郎
- Organizer
  暗号と情報セキュリティシンポジウム (SCIS) 2024
- Data Source
  KAKENHI-PROJECT-23H00479
[Presentation] 経路検証技術ASPAの普及におけるBGPルーティングの不具合に関する考察2023
- Author(s)
  山口雄翔, 木村泰司, 矢内直人, 猪俣敦夫
- Organizer
  インターネットアーキテクチャ研究会
- Data Source
  KAKENHI-PROJECT-23K24847
[Presentation] Designated Verifier Signature with Claimability2023
- Author(s)
  Kyosuke YAMASHITA, Keisuke HARA, Yohei WATANABE, Naoto YANAI, and Junji SHIKATA,
- Organizer
  The 10th ACM Asia Public-Key Cryptography Workshop (APKC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K24847
[Presentation] 経路保証プロトコルへのIDベース格子集約署名の適用へ向けて2023
- Author(s)
  小島英春, 矢内直人
- Organizer
  電子情報通信学会ネットワークソフトウェア研究会
- Data Source
  KAKENHI-PROJECT-21K11866
[Presentation] 非専門家との検索可能暗号の説明資料の作成とユーザ調査2023
- Author(s)
  浅沼秀俊, 桑形愛, 長根貴之 , 山下恭佑, 矢内直人, 花岡悟一郎
- Organizer
  コンピュータセキュリティシンポジウム (CSS) 2023コンピュータセキュリティシンポジウム (CSS) 2023
- Data Source
  KAKENHI-PROJECT-23H00479
[Presentation] 意外と身近？日常にひそむ暗号技術2023
- Author(s)
  菅野哲, 酒見由美, 矢内直人
- Organizer
  GMO DevDay 2023
- Invited
- Data Source
  KAKENHI-PROJECT-23H00479
[Presentation] KOTO Crypto: Educational cryptography with the Koto2023
- Author(s)
  Mine Arai, Naoto Yanai and Goichiro Hanaoka
- Organizer
  The 18th International Workshop on Security (IWSEC 2023), Poster
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23H00479
[Presentation] インターネットを支える力について考える -セキュリティ技術の普及 – RPKI/DNSSEC/DMARCを題材に-2023
- Author(s)
  小川博久, 木村泰司, 矢萩茂樹, 菊池豊, 重田新平, 矢内直人
- Organizer
  Internet Week 2024
- Invited
- Data Source
  KAKENHI-PROJECT-23K24847
[Presentation] REN-A.I. -Generation-: 生成AIの利用者に向けたAIリテラシー教育ゲーム2023
- Author(s)
  新井美音, 矢内直人
- Organizer
  コンピュータセキュリティシンポジウム (CSS) 2023 デモンストレーションセッション
- Data Source
  KAKENHI-PROJECT-23H00479
[Presentation] Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols2023
- Author(s)
  Seiya Ookura, Hideharu Kojima, Naoto Yanai
- Organizer
  International Conference on Information and Computer Technologies
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11866
[Presentation] スマートコントラクト -プログラミングプラットホームとしてのブロックチェーン-2020
- Author(s)
  矢内直人
- Organizer
  2020年度情報処理学会関西支部定期講演会
- Invited
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction2020
- Author(s)
  Kojima Hideharu、Yanai Naoto
- Organizer
  2020 IEEE International Parallel and Distributed Processing Symposium Workshops(APDCM2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] Implementation and Evaluation of ISDSR in Emulation Environments2019
- Author(s)
  Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
- Organizer
  2019 IEEE Wireless Communications and Networking Conference, WCNC2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] アドホックネットワークプロトコルのモデル検査における状態数削減手法2019
- Author(s)
  小島英春, 矢内直人
- Organizer
  第18回電子情報通信学会ネットワークソフトウエア研究会予稿集
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] SecureHID:USBインタフェースのセキュリティ2019
- Author(s)
  ゲッテヤン, 矢内直人, 森達哉
- Organizer
  コンピュータセキュリティ
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019
- Author(s)
  Hideharu Kojima, Naoto Yanai
- Organizer
  IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] sslstrip攻撃の脅威に関する検討2019
- Author(s)
  王晶栄, 矢内直人, 大久保隆夫, 岡村真吾
- Organizer
  コンピュータセキュリティシンポジウム2019 (CSS 2019)
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] 証明可能安全な鍵集約検索可能暗号の構成と実装評価2019
- Author(s)
  上村真弘, 矢内直人, クルズジェイソン　ポール, 岡村真吾
- Organizer
  コンピュータセキュリティシンポジウム2019 (CSS 2019)
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019
- Author(s)
  Hideharu Kojima, Naoto Yanai
- Organizer
  Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] 経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて2018
- Author(s)
  小島英春, 矢内直人
- Organizer
  第16回電子情報通信学会ネットワークソフトウェア研究会,
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] On Security of Anonymous Invitation-Based System2018
- Author(s)
  Naoto Yanai
- Organizer
  the 13th DPM International Workshop on Data Privacy Management (DPM 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] ブロックチェーンで解決すべき応用課題やアプリケーション2018
- Author(s)
  矢内直人
- Organizer
  第21回 KECテクノフォーラム
- Invited
- Data Source
  KAKENHI-PROJECT-18K18049
[Presentation] Tightly Secure Identity-Based Multisignatures2017
- Author(s)
  Naoto Yanai
- Organizer
  2017 IEEE International Conference on Consumer Electronics, Taiwan (ICCE-TW 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] An Anonymous Authentication Protocol for Smart Grid2017
- Author(s)
  Hikaru Kishimoto, Naoto Yanai, Shingo Okamura
- Organizer
  The 5th International Workshop on Security Intricacies in Cyber-Physical Systems and Services (INTRICATE-SEC 2017)
- Place of Presentation
  Taipei, Taiwan
- Year and Date
  2017-03-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] “ISDSR : Secure DSR with ID-based Sequential Aggregate Signature2016
- Author(s)
  Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
- Organizer
  13th International Joint Conference on e-business and Telecommunications (ICETE 2016)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2016-07-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] Web Security Model with Cache2016
- Author(s)
  Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara
- Organizer
  International Symposium on Information Theory and its Application (ISITA) 2016
- Place of Presentation
  Monterey, California, USA
- Year and Date
  2016-10-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] APAT: An Application of Aggregate Signatures to BGPSEC2016
- Author(s)
  Naoto Yanai
- Organizer
  The 11th International Workshop on Security (IWSEC 2016)
- Place of Presentation
  Tokyo, Japan
- Year and Date
  2016-09-12
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] Tightly-Secure Identity-Based Structured Aggregate Signature Scheme under the computational Diffie-Hellman Assumption2016
- Author(s)
  Tomoya Iwasaki, Naoto Yanai, Masaki Inamura, Keiichi Iwamura
- Organizer
  The 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016)
- Place of Presentation
  Crans-Montana, Switzerland
- Year and Date
  2016-03-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] APAT: An Application of Aggregate Signatures to BGPSEC2016
- Author(s)
  azuma Tanaka, Naoto Yanai, Masayuki Okada, Takashi Nishide, Eiji Okamoto
- Organizer
  The 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
- Place of Presentation
  Toulouse, France
- Year and Date
  2016-06-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] Towards Provable Security of Dynamic Source Routing Protocol and Its Applications2016
- Author(s)
  Naoto Yanai
- Organizer
  ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP
- Place of Presentation
  Gifu, Japan
- Year and Date
  2016-11-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] 経路制御の定式化に向けて：DSR の構成2016
- Author(s)
  矢内直人
- Organizer
  2016年暗号と情報セキュリティシンポジウム
- Place of Presentation
  熊本
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] 多人数署名を用いたSecure-DSRの提案2016
- Author(s)
  村中謙太、矢内直人、岡村真吾、藤原融
- Organizer
  2016年暗号と情報セキュリティシンポジウム
- Place of Presentation
  熊本
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] On the Tightness of Deterministic Identity-Based Signatures2016
- Author(s)
  Naoto Yanai
- Organizer
  The Fourth International Symposium on Computing and Networking (CANDAR 2016)
- Place of Presentation
  Hiroshima, Japan
- Year and Date
  2016-11-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] Towards a Formal Foundation of Protection against Data-Oriented Attacks2016
- Author(s)
  Ryo Fukuyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara
- Organizer
  International Symposium on Information Theory and its Application (ISITA) 2016
- Place of Presentation
  Monterey, California, USA
- Year and Date
  2016-10-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16065
[Presentation] Secure Payment Protocol for Charging Information over SmartGrid2015
- Author(s)
  Hikaru Kishimoto, Shingo Okamura, Naoto Yanai
- Organizer
  The 10th International Workshop on Security (IWSEC2015)
- Place of Presentation
  Nara, Japan
- Year and Date
  2015-08-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Constructions of Fail-Stop Signatures for Multi-Signer Setting2015
- Author(s)
  Nobuaki Kitajima, Naoto Yanai, Takashi Nishide, Goichiro Hanaoka and Eiji Okamoto
- Organizer
  the 10th Asia Joint Conference on Information Security (AsiaJCIS 2015)
- Place of Presentation
  Kaohsiung, Taiwang
- Year and Date
  2015-05-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Secure Routing Protocols for Sensor Networks: Construction with Signature Schemes for Multiple Signers2015
- Author(s)
  Kenta Muranaka, Naoto Yanai, Shingo Okamura and Toru Fujiwara
- Organizer
  The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2015)
- Place of Presentation
  Helsinki, Finland
- Year and Date
  2015-08-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] BGPSECにおけるアグリゲート署名の導入2015
- Author(s)
  田中和磨, 矢内直人, 岡田雅之, 金山直樹, 西出隆志, 岡本栄司
- Organizer
  コンピュータセキュリティシンポジウム2015 (CSS2015)
- Place of Presentation
  長崎
- Year and Date
  2015-10-22
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack2015
- Author(s)
  Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto
- Organizer
  the 12th International Conference on Security and Cryptography (SECRYPT 2015)
- Place of Presentation
  Alsace, France
- Year and Date
  2015-07-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Toward Secure Routing Protocols for Sensor Networks2015
- Author(s)
  Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara
- Organizer
  The 10th International Workshop on Security (IWSEC2015)
- Place of Presentation
  Nara, Japan
- Year and Date
  2015-08-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] A CDH-Ordered Multisignature Scheme in the Standard Model with Better Efficiency
- Author(s)
  Naoto Yanai
- Organizer
  International Symposium on Information Theory and its Application (ISITA) 2014
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2014-10-26 – 2014-10-29
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Ordered Multisignatures Made Shorter
- Author(s)
  Naoto YANAI
- Organizer
  第37回情報理論とその応用シンポジウム (SITA 2014)
- Place of Presentation
  宇奈月温泉, 富山
- Year and Date
  2014-12-10 – 2014-12-12
- Data Source
  KAKENHI-PROJECT-26880012
[Presentation] Constructions of Fail-Stop Signatures for Multi-Signer Setting
- Author(s)
  Naoto Yanai
- Organizer
  AsiaJCIS 2015
- Place of Presentation
  Kaoshung, Taiwan
- Year and Date
  2015-05-24 – 2015-05-26
- Data Source
  KAKENHI-PROJECT-26880012

1. Hideharu Kojima (90610949)

# of Collaborated Projects: 3 results

# of Collaborated Products: 9 results
2. 渡邉洋平 (40792263)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 岡村真吾 (50423132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. CRUZ JASON.PAUL (40807731)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 花岡悟一郎 (30415731)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
6. 品川和雅 (20896089)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 宮原大輝 (20928288)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. Attrapadung Nuttapong (40515300)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 岩本貢 (50377016)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 松田隆宏 (60709492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 水木敬明 (90323089)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 宮本賢伍 (90845801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 山下恭佑 (90935743)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Yanai Naoto 矢内 直人

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realizing Internet Routing Security Based on Lattice-Based CryptographyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

経路保証プロトコルの効率的な安全性検証手法の開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Towards Encrypted Search Protocols with Flexible Search Functions and High Efficiency

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A model checking method for secure routing protocols

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Advanced Cryptography with Updatability for Devices with Low Computational ResourcesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Study on Routing Security for IoT NetworksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Secure and Efficient Internet Routing ProtocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Smart Micro-Grid Systems Security and Privacy2018

Author(s)

Publisher

Data Source

[Journal Article] Designated Verifier Signature with Claimability2024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Generic Construction of Key-Aggregate Searchable Encryption2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec2023

Author(s)

Journal Title

DOI

ISSN

Year and Date

Yanai Naoto 矢内直人