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

同種写像の様々な性質を活用した暗号設計とその安全性解析

Research Project

Project/Area Number 22K11912
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionWaseda University

Principal Investigator

高島 克幸  早稲田大学, 教育・総合科学学術院, 教授 (70723964)

Project Period (FY) 2022-04-01 – 2027-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2025: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2024: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords同種写像暗号 / 耐量子計算機暗号 / 超楕円曲線 / Richelot同種写像 / 高機能暗号 / 関数型暗号 / 楕円曲線 / 属性ベース暗号
Outline of Research at the Start

楕円曲線上の同種写像は,量子計算機でも破れない耐量子計算機暗号以外にも,多種多様な暗号を設計するうえで有用であることが認識されてきている。本研究では,安全性基盤となる同種写像問題の計算困難性を調べると共に,研究代表者により既に提案済みである同種ペアリング群(IPG)という新規暗号設計フレームワーク上で既存のペアリング暗号を再構成することで,その安全性向上を図っていく。更に,IPG上で,IDベース暗号や属性ベース暗号等を,同種写像の逐次計算特性を利用したタイムリリース機能付き高機能暗号へ発展させることも研究する。また,楕円曲線のみならず高種数の代数曲線に関しても,上記の研究を進める。

Outline of Annual Research Achievements

同種写像を用いた暗号技術は,量子計算機に対しても安全な暗号として広く研究が進められている.その安全性を見積もるために,そこで使われている同種写像グラフの数学的な特性を明らかにする研究の重要性が増している.
2023年度は,2022年度に引き続き,同種写像グラフの数理を明らかにする研究を継続した.これまでは,種数2曲線Richelot同種写像の像が種数1楕円曲線の積に分解する特別な部分グラフの構造に関する解析を行ったが,2023年度は種数が3以上の代数曲線の場合のRichelot同種写像グラフについて,超楕円曲線およびHowe曲線という特殊な曲線に着目して分解部分グラフの構造を明らかにする研究を行った.本研究は,Costello-Smithの同種写像問題攻撃法において重要な位置づけを有している.2023年夏の応用数理国際会議 ICIAM 2023 にて,その成果発表を行った.さらに本課題の研究代表者は,ICIAM 2023 で超特異曲線・超特別曲線に関するミニシンポジウムをオーガナイズして,暗号理論と代数曲線理論の学際分野である同種写像暗号の研究を推進する活動も行った,
また,電子情報通信学会ISEC研究会の招待講演「代数曲線計算に基づく暗号研究」において,代数曲線上の自己準同型写像を用いた高次元空間ペアリング暗号構成法の概略について述べることで,研究代表者が推進してきた関数型暗号構成法と同種写像の特殊形である自己準同型写像の計算法の関連性について明らかにした.この関連性は,同種写像やペアリング演算といった代数曲線上の種々の演算が暗号応用に対して持つ興味深い性質を示しているので,上記の招待講演は,本研究課題が目指す方向性に沿った研究成果発表となっている.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

2023年度は,一般種数の代数曲線間の同種写像がもつ数理的な性質を一部明らかにすることと,そのような同種写像と高機能暗号との関連性を示す研究を実施することができた.従って,あまり大きな軌道修正をすることなく研究を進めていくことで問題なく,進捗状況はおおむね順調に進んでいる.今後も.同種写像がもつ数理的性質を明らかにするとともに,高機能暗号への応用を目指す研究も進めていく予定である.同種写像暗号分野では,本研究課題の開始当初には予想していなかったようなさまざまな方向への進展が起きており,今後も,そのような研究動向を注視しながら,数理的側面と高機能暗号的側面の両面からの研究を進めていく予定である.

Strategy for Future Research Activity

今後も,高種数代数曲線の場合の同種写像グラフの解析について研究を進めていく予定である.また,これらの結果とも関連して,従来の同種写像暗号構成の再検討を進めると共に,新しい方式設計につながる暗号解析を深めていくことを目指す.特に,高機能暗号への応用に関して,群作用暗号という枠組みでの研究が進んでおり,安全性の解析とともに,その新しい応用先の探求も進めていく予定である.

Report

(2 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • Research Products

    (17 results)

All 2024 2023 2022 Other

All Int'l Joint Research (1 results) Journal Article (5 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 5 results,  Open Access: 2 results) Presentation (7 results) (of which Int'l Joint Research: 3 results,  Invited: 6 results) Book (2 results) Remarks (2 results)

  • [Int'l Joint Research] NTT Research Inc.(米国)

    • Related Report
      2022 Research-status Report
  • [Journal Article] Decomposed Richelot isogenies of Jacobian varieties of hyperelliptic curves and generalized Howe curves2024

    • Author(s)
      Toshiyuki Katsura, Katsuyuki Takashima
    • Journal Title

      Commentarii mathematici Universitatis Sancti Pauli

      Volume: -

    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Journal Article] 耐量子計算機暗号の進展2023

    • Author(s)
      高島克幸
    • Journal Title

      日本数学会機関誌「数学」

      Volume: -

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] 耐量子計算機暗号の研究動向調査報告書 第5章 同種写像に基づく暗号技術2023

    • Author(s)
      高島克幸(分担執筆)
    • Journal Title

      CRYPTREC 技術報告書

      Volume: CRYPTREC TR-2001-2022 Pages: 93-115

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Compact FE for Unbounded Attribute-Weighted Sums for Logspace from SXDH2022

    • Author(s)
      Datta Pratish, Pal Tapas, Takashima Katsuyuki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13791 Pages: 126-159

    • DOI

      10.1007/978-3-031-22963-3_5

    • ISBN
      9783031229626, 9783031229633
    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Counting superspecial Richelot isogenies by reduced automorphism groups2022

    • Author(s)
      Katsuyuki Takashima
    • Journal Title

      京都大学数理解析研究所(RIMS) 講究録別冊

      Volume: B90 Pages: 185-193

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] 代数曲線計算に基づく暗号研究2024

    • Author(s)
      高島克幸
    • Organizer
      電子情報通信学会 RCC・ISEC・IT・WBS合同研究会
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] Decomposed Richelot isogenies of Jacobian varieties of hyperelliptic curves and generalized Howe curves2023

    • Author(s)
      Katsuyuki Takashima
    • Organizer
      ICIAM 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] 同種写像暗号の数理2023

    • Author(s)
      高島克幸
    • Organizer
      東京大学大学院数理科学研究科 情報数学セミナー
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] Decomposed Richelot isogenies of Jacobian varieties of hyperelliptic curves and generalized Howe curves2023

    • Author(s)
      Toshiyuki Katsura, Katsuyuki Takashima
    • Organizer
      ICIAM 2023
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Compact FE for Unbounded Attribute-Weighted Sums for Logspace from SXDH2022

    • Author(s)
      Pratish Datta, Tapas Pal, Katsuyuki Takashima
    • Organizer
      ASIACRYPT 2022
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] 耐量子計算機暗号の進展2022

    • Author(s)
      高島克幸
    • Organizer
      東京大学大学院数理科学研究科 情報数学セミナー
    • Related Report
      2022 Research-status Report
    • Invited
  • [Presentation] 同種写像グラフの数理と耐量子計算機暗号への応用2022

    • Author(s)
      高島克幸
    • Organizer
      早稲田大学 整数論セミナー
    • Related Report
      2022 Research-status Report
    • Invited
  • [Book] 暗号の理論と技術 量子時代のセキュリティ理解のために2024

    • Author(s)
      國廣 昇, 安田 雅哉, 水木 敬明, 高安 敦, 高島 克幸, 米山 一樹, 大原 一真, 江村 恵太
    • Total Pages
      336
    • Publisher
      講談社サイエンティフィック
    • ISBN
      9784065356357
    • Related Report
      2023 Research-status Report
  • [Book] Theory and Applications of Supersingular Curves and Supersingular Abelian Varieties2022

    • Author(s)
      原下秀士, 工藤桃成, 高島克幸(編集)
    • Total Pages
      219
    • Publisher
      京都大学数理解析研究所(RIMS)
    • Related Report
      2022 Research-status Report
  • [Remarks] 早稲田大学研究者データベース 高島克幸

    • URL

      https://w-rdb.waseda.jp/html/100002901_ja.html

    • Related Report
      2022 Research-status Report
  • [Remarks] researchmap 高島克幸

    • URL

      https://researchmap.jp/katsuyuki-takashima

    • Related Report
      2022 Research-status Report

URL: 

Published: 2022-04-19   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi