• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Advanced Cryptography with Updatability for Devices with Low Computational Resources

Research Project

Project/Area Number 18K18049
Research Category

Grant-in-Aid for Early-Career Scientists

Allocation TypeMulti-year Fund
Review Section Basic Section 60070:Information security-related
Research InstitutionOsaka University

Principal Investigator

Yanai Naoto  大阪大学, 情報科学研究科, 助教 (30737896)

Project Period (FY) 2018-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2020)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2019: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2018: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywords高機能暗号 / ネットワーク / 暗号化状態検索 / コンピュータセキュリティ / 情報セキュリティ / 暗号技術 / 認証 / IoT / 鍵更新 / セキュリティ設計 / 鍵更新機能
Outline of Final Research Achievements

For aggregate signatures, which are an advanced cryptographic primitive to aggregate individual signatures, a security proof with a tight reduction was presented, and then a prototype implementation on a software router was provided as an application to networks. Hence, from theory to implementation, advanced cryptography had been discussed through a class of aggregate signatures. Meanwhile, searchable encryption that allows a user to search encrypted data was discussed. In particular, a key-aggregate searchable encryption scheme that can provide user-level access control for each file in the multi-user setting was proposed. The proposed scheme is the first scheme whose security can be proven in the multi-user setting. The scheme was also implemented, and source code is publicly available from GitHub.

Academic Significance and Societal Importance of the Research Achievements

応用が不透明である高機能暗号について、理論から応用技術まで一貫して検討を行ったことに重要な学術的意義と社会的意義がある。理論研究の面からは社会的課題を踏まえた暗号理論を示しており、また、応用研究からは従来技術ではなしえなかった性能や仕様を達成するに至っている。とくに実装面に至る成果はプログラムを公開することで、再現性も確保している。

Report

(4 results)
  • 2020 Annual Research Report   Final Research Report ( PDF )
  • 2019 Research-status Report
  • 2018 Research-status Report
  • Research Products

    (30 results)

All 2021 2020 2019 2018 Other

All Int'l Joint Research (1 results) Journal Article (9 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 9 results,  Open Access: 4 results) Presentation (15 results) (of which Int'l Joint Research: 2 results,  Invited: 2 results) Remarks (5 results)

  • [Int'l Joint Research] Nanyang Technological University(シンガポール)

    • Related Report
      2020 Annual Research Report
  • [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

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [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

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [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 Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      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
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [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

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [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

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] ネットワークセキュリティに向けた悪性ドメイン検知用データセットの構築2021

    • Author(s)
      鄭 儒謙
    • Organizer
      2021 年暗号と情報セキュリティシンポジウム (SCIS2021)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Learning Contract-Wide Code Representations for Vulunerability Detection on Ethereum Smart Contracts2021

    • Author(s)
      Nami Ashizawa
    • Organizer
      ISEC
    • Related Report
      2020 Annual Research Report
  • [Presentation] BGPsecの展開可能性に向けたBGPとの同時運用の検討2020

    • Author(s)
      梅田直希
    • Organizer
      コンピュータセキュリティシンポジウム2020 (CSS 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] APVAS+: 集約署名を用いたAS パス検証プロトコルの改良とフルルート情報を想定した実験評価2020

    • Author(s)
      竹村達也
    • Organizer
      コンピュータセキュリティシンポジウム2020 (CSS 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Eth2Vec: 深層学習による言語処理に基づいたスマートコントラクトの安全性解析ツールの設計2020

    • Author(s)
      芦澤奈実
    • Organizer
      コンピュータセキュリティシンポジウム2020 (CSS 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] スマートコントラクト -プログラミングプラットホームとしてのブロックチェーン-2020

    • Author(s)
      矢内直人
    • Organizer
      2020年度 情報処理学会関西支部 定期講演会
    • Related Report
      2020 Annual Research Report
    • Invited
  • [Presentation] SecureHID:USBインタフェースのセキュリティ2019

    • Author(s)
      ゲッテ ヤン, 矢内 直人, 森 達哉
    • Organizer
      コンピュータセキュリティ
    • Related Report
      2019 Research-status Report
  • [Presentation] 証明可能安全な鍵集約検索可能暗号の構成と実装評価2019

    • Author(s)
      上村 真弘, 矢内 直人, クルズ ジェイソン ポール, 岡村 真吾
    • Organizer
      コンピュータセキュリティシンポジウム2019 (CSS 2019)
    • Related Report
      2019 Research-status Report
  • [Presentation] sslstrip攻撃の脅威に関する検討2019

    • Author(s)
      王 晶栄, 矢内 直人, 大久保 隆夫, 岡村 真吾
    • Organizer
      コンピュータセキュリティシンポジウム2019 (CSS 2019)
    • Related Report
      2019 Research-status Report
  • [Presentation] Implementation and Evaluation of ISDSR in Emulation Environments2019

    • Author(s)
      Hideharu Kojima
    • Organizer
      Proc. of the IEEE Wireless Communications and Networking Conference(WCNC) 2019
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] アグリゲート署名を用いたBGPsecの改良2019

    • Author(s)
      Ouyang Junjie
    • Organizer
      JANOG43ミーティング
    • Related Report
      2018 Research-status Report
  • [Presentation] On Security of Anonymous Invitation-Based System2018

    • Author(s)
      Naoto Yanai
    • Organizer
      the 13th DPM International Workshop on Data Privacy Management (DPM 2018)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Mininet-wifiを用いたISDSRの性能評価に関する研究2018

    • Author(s)
      清水 真之介
    • Organizer
      IEICE 2018年ソサイエティ大会
    • Related Report
      2018 Research-status Report
  • [Presentation] アグリゲート署名を用いたBGPsec AS_PATH検証手法の提案と実装評価2018

    • Author(s)
      Ouyang Junjie
    • Organizer
      コンピュータセキュリティシンポジウム2017 (CSS 2017)
    • Related Report
      2018 Research-status Report
  • [Presentation] ブロックチェーンで解決すべき応用課題やアプリケーション2018

    • Author(s)
      矢内直人
    • Organizer
      第21回 KECテクノフォーラム
    • Related Report
      2018 Research-status Report
    • Invited
  • [Remarks] 大阪大学 大学院情報科学研究科 マルチメディア工学専攻 セキュリティ工学講座

    • URL

      http://www-infosec.ist.osaka-u.ac.jp/index.html

    • Related Report
      2020 Annual Research Report
  • [Remarks] 矢内直人のページ

    • URL

      http://www-infosec.ist.osaka-u.ac.jp/~yanai/yanaiweb.html

    • Related Report
      2020 Annual Research Report
  • [Remarks] 大阪大学 大学院情報科学研究科 マルチメディア工学専攻 セキュリティ工学講座

    • URL

      http://www-infosec.ist.osaka-u.ac.jp/publications.html

    • Related Report
      2019 Research-status Report 2018 Research-status Report
  • [Remarks] Naoto Yanai Web ページ

    • URL

      http://www-infosec.ist.osaka-u.ac.jp/~yanai/yanaiweb.html

    • Related Report
      2019 Research-status Report
  • [Remarks] Naoto Yanai Web ページ

    • URL

      http://www-infosec.ist.osaka-u.ac.jp/~yanai/

    • Related Report
      2018 Research-status Report

URL: 

Published: 2018-04-23   Modified: 2022-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi