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

Computational Models in Cryptography for Encrypted Computation

Research Project

Project/Area Number 17K12640
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Theory of informatics
Research InstitutionMie University (2019-2021)
Osaka University (2017-2018)

Principal Investigator

Kawachi Akinori  三重大学, 工学研究科, 教授 (00397035)

Project Period (FY) 2017-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords秘匿計算 / コミットメントスキーム / 耐量子計算機暗号 / 通信複雑度 / 乱数複雑度 / 秘密計算 / 秘密同時通信 / 条件付き秘密開示 / 秘密同時通信プロトコル / 条件付き秘密開示プロトコル / 符号ベース公開鍵暗号 / 通信計算量 / 事前共有乱数長 / 確率解析 / 乱択符号化 / 秘匿計算プロトコル / 耐量子安全性 / 情報理論的安全性 / 暗号文の準同型演算 / 誤り訂正符号ベース暗号 / ブール型有限ダイナミカルシステム / 難読化器 / 確率的論理回路 / 汎用標本器 / 階層型IDベース公開鍵暗号 / 暗号理論 / 計算モデル
Outline of Final Research Achievements

This study analyzed a computational model with high affinity to cryptographic techniques with inherent computational processes and applied it to develop efficient and highly functional cryptographic protocols. Our results include error analysis techniques for public-key encryption schemes in a computational model in which artificial noise is added to the matrix-vector product, confidentiality computation in which the algebraic properties of public-key cryptography are exploited to protect the privacy of the participant’s data, and a commitment scheme, an electronic envelope, based on the model, and showed its wide range of applications. Furthermore, we developed a technique for analyzing the computational resources of a highly efficient secure computation protocol that achieves a higher level of security and communicates only once.

Academic Significance and Societal Importance of the Research Achievements

本研究で主に用いたモデルは人為ノイズを加えられた行列ベクトル積という従来の暗号理論で広く用いられてきた整数論に基づくものと異なる数学的構造を持っている.この構造は今後暗号プロトコルの脅威となる量子計算機の攻撃に対する耐性を持ちながら単純で高速な計算が期待できる特徴を持っており,量子計算機の脅威が顕在化する将来の情報通信における安全な情報セキュリティ技術の確立に資する成果であると言える.

Report

(6 results)
  • 2021 Annual Research Report   Final Research Report ( PDF )
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • 2017 Research-status Report
  • Research Products

    (23 results)

All 2022 2021 2020 2019 2018 2017

All Journal Article (4 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 4 results,  Open Access: 2 results) Presentation (19 results) (of which Int'l Joint Research: 3 results,  Invited: 4 results)

  • [Journal Article] A Commitment Scheme with Output Locality-3 Fit for the IoT Device2021

    • Author(s)
      Hideaki Miyaji, Yuntao Wang, Akinori Kawachi, and Atsuko Miyaji
    • Journal Title

      Security and Communication Networks

      Volume: 2021 Issue: Article ID 2949513 Pages: 1-10

    • DOI

      10.1155/2021/2949513

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Hamming Weight of Product of Random Sparse Polynomials2020

    • Author(s)
      Akinori Kawachi
    • Journal Title

      IEICE Proceeding Series

      Volume: 65 Pages: 368-371

    • DOI

      10.34385/proc.65.C01-7

    • NAID

      230000012658

    • ISSN
      2188-5079
    • Year and Date
      2020-10-18
    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] Quantum Query Complexity of Unitary Operator Discrimination2019

    • Author(s)
      KAWACHI Akinori、KAWANO Kenichi、LE GALL Francois、TAMAKI Suguru
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E102.D Issue: 3 Pages: 483-491

    • DOI

      10.1587/transinf.2018FCP0012

    • NAID

      130007606941

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2019-03-01
    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs2019

    • Author(s)
      Kawachi Akinori、Ogihara Mitsunori、Uchizawa Kei
    • Journal Title

      Theoretical Computer Science

      Volume: 762 Pages: 25-40

    • DOI

      10.1016/j.tcs.2018.08.026

    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Presentation] 秘密同時通信における近年の進展について2022

    • Author(s)
      河内 亮周
    • Organizer
      研究集会「量子暗号理論と耐量子暗号」
    • Related Report
      2021 Annual Research Report
    • Invited
  • [Presentation] 秘密同時通信と条件付き秘密開示に対する乱数複雑度2022

    • Author(s)
      河内 亮周, 吉田 真紀
    • Organizer
      2021年度冬のLAシンポジウム, [11],pp.(11-1)-(11-31)
    • Related Report
      2021 Annual Research Report
  • [Presentation] Recent Progress in Private Simultaneous Messages Protocols2021

    • Author(s)
      Akinori Kawachi
    • Organizer
      The 2021 IEEE Information Theory Workshop (ITW 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 量子攻撃者に対する安全性証明技術の進展2021

    • Author(s)
      河内 亮周
    • Organizer
      電子情報通信学会総合大会企画セッション「量子計算と暗号の進展」, ADI-1-2
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] 量子秘密同時メッセージプロトコルの通信計算量2021

    • Author(s)
      河内 亮周, 西村 治道
    • Organizer
      2020年度冬のLAシンポジウム, [9]
    • Related Report
      2020 Research-status Report
  • [Presentation] 秘密同時メッセージと条件付き秘密開示に対する乱数長下界2021

    • Author(s)
      河内 亮周, 吉田 真紀
    • Organizer
      情報セキュリティシンポジウム(SCIS), 3A2-3
    • Related Report
      2020 Research-status Report
  • [Presentation] 量子攻撃者に対する安全性概念2020

    • Author(s)
      河内 亮周
    • Organizer
      電子情報通信学会総合大会企画セッション「量子計算と暗号の発展」, ADI-1-2
    • Related Report
      2019 Research-status Report
    • Invited
  • [Presentation] Private Simultaneous Messages および Conditional Disclosure of Secrets に関する情報理論的下界2020

    • Author(s)
      河内 亮周, 吉田 真紀
    • Organizer
      2019年度冬のLAシンポジウム, [3]
    • Related Report
      2019 Research-status Report
  • [Presentation] 符号ベース公開鍵暗号HQCにおける復号誤り確率の理論的解析2020

    • Author(s)
      河内 亮周
    • Organizer
      暗号と情報セキュリティシンポジウム(SCIS), 2A1-5
    • Related Report
      2019 Research-status Report
  • [Presentation] 定数4出力局所性を持つコミットメント方式2020

    • Author(s)
      宮地 秀至, 河内 亮周, 宮地 充子
    • Organizer
      暗号と情報セキュリティシンポジウム(SCIS), 1A2-4
    • Related Report
      2019 Research-status Report
  • [Presentation] String commitment schemes with low output locality2019

    • Author(s)
      Hideaki Miyaji, Akinori Kawachi, and Atsuko Miyaji
    • Organizer
      AsiaJCIS 2019
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 解の個数を限定した充足可能性問題の計算困難性2019

    • Author(s)
      堀内 弘武, 森本 尚之, 山田 俊行, 河内 亮周
    • Organizer
      電子情報通信学会コンピュテーション研究会, IEICE-COMP2019-34
    • Related Report
      2019 Research-status Report
  • [Presentation] 疎なランダム多項式の積のハミング重み2019

    • Author(s)
      河内 亮周
    • Organizer
      2019年度夏のLAシンポジウム, [9]
    • Related Report
      2019 Research-status Report
  • [Presentation] 準巡回符号に基づく二者間秘匿大小比較プロトコル2019

    • Author(s)
      祁 儀穎, 河内 亮周, 宮地 充子
    • Organizer
      電気情報通信学会情報セキュリティ研究会IEICE-ISEC2018-110
    • Related Report
      2018 Research-status Report
  • [Presentation] 準巡回シンドローム復号問題に基づく線形関数秘匿計算2018

    • Author(s)
      祁 儀穎, 河内 亮周, 宮地 充子
    • Organizer
      コンピュータセキュリティシンポジウム2018 4A2-3
    • Related Report
      2018 Research-status Report
  • [Presentation] 最悪時入力標本器に対する確率的回路の識別不可能性難読化器2018

    • Author(s)
      田端 芳樹,河内 亮周
    • Organizer
      2018年暗号と情報セキュリティシンポジウム
    • Related Report
      2017 Research-status Report
  • [Presentation] ユニバーサルサンプラを用いた階層型IDベース暗号方式の評価2018

    • Author(s)
      大塚 俊輔,河内 亮周,宮地 充子
    • Organizer
      電子情報通信学会情報通信システムセキュリティ研究会
    • Related Report
      2017 Research-status Report
  • [Presentation] On Indistinguishability Obfuscation of Probabilistic Circuits for Worst-case-input Subexponentially Indistinguishable Samplers2017

    • Author(s)
      Akinori Kawachi and Yoshiki Tabata
    • Organizer
      The 12th International Workshop on Security
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] ユニバーサルサンプラを用いた階層型IDベース暗号方式の提案2017

    • Author(s)
      大塚 俊輔,宮地 充子,河内 亮周
    • Organizer
      電子情報通信学会情報セキュリティ研究会
    • Related Report
      2017 Research-status Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi