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

Revisiting Tacit Knowledge towards Clear Security Proofs for Cryptography

Research Project

Project/Area Number 22K11906
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

縫田 光司  九州大学, マス・フォア・インダストリ研究所, 教授 (20435762)

Project Period (FY) 2022-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2023: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords暗号理論 / 安全性証明
Outline of Research at the Start

現代の暗号分野では、暗号技術の安全性を(何らかの仮定に基づいて)数学的に証明することが主流である。しかし、既存の安全性証明の中に、暗号分野の専門家が「当たり前」と考えているが厳密には検証されていない議論が用いられ、結果として誤った結論が導かれている事例があることが先行研究で指摘されている。本研究ではそうした暗号分野における「当たり前」を厳密に検証し、誤りがあればそれを修正することで、より信頼性の高い安全性証明を普及することを目指す。

Outline of Annual Research Achievements

本年度の研究では、まず、秘密計算プロトコルに対する従来の(semi-honest攻撃者を想定した場合の)安全性の定義について再考し、従来の安全性定義が要求する安全性要件が強すぎる(本来は「安全である」と見なされるべきプロトコルがそう判定されない)可能性を指摘するとともにその問題点の改善方法を模索した(国内学会発表済、論文投稿準備中)より詳しくは、「暗号文からもとのデータの情報が何も漏れない」ことが理論的に保証されているはずのワンタイムパッド暗号化方式を秘密計算プロトコルに組み込んだ際に、従来の安全性定義ではプロトコルが「安全でない」と判定されてしまうという問題点を見出した。
また、秘密計算の一種であるPrivate Simultaneous Messages(PSM)について、与えられたプロトコルの安全性要件を単体的複体という組合せ論的な対象の性質として記述する方法を見出した(査読付国際会議INDOCRYPT 2023に採録済)。
他にも、秘密計算プロトコルにおける事前共有乱数の安全かつ効率的な使用法に関する研究(査読付国際会議ITC 2023に採録済、査読付国際論文誌IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(以下、IEICE Trans.)に採録済)や、秘密分散法の離散数学的手法に基づく構成法についてその安全性の検証を行った(査読付国際論文誌IEICE Trans.に採録決定済)。

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

昨年度までに実施した2点の研究課題(暗号学的擬似乱数を用いた暗号技術の実装の安全性、公開鍵暗号技術における安全性定義)に加えて、新たに秘密計算技術の従来の安全性定義に関する再検討を行い成果を得た。またそれに加えて、上記課題の副次的な成果として秘密計算技術およびその基盤技術の一つである秘密分散技術の安全性検証に関する複数の成果を得て論文発表(採録決定を含む)を行った。

Strategy for Future Research Activity

次年度は本年度の研究成果をさらに発展させる方針である。特に、本年度の主な研究成果である秘密計算技術の安全性定義に関する分析では、従来の定義の問題点を解消する改良案において(本研究で指摘したものとは異なる)問題点が見つかっていることから、その問題点を解決する点が主な研究課題となると考えている。

Report

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

    (13 results)

All 2024 2023 2022

All Journal Article (9 results) (of which Peer Reviewed: 9 results,  Open Access: 6 results) Presentation (4 results) (of which Int'l Joint Research: 4 results)

  • [Journal Article] On Weighted-Sum Orthogonal Latin Squares and Secret Sharing2024

    • Author(s)
      NUIDA Koji、ADACHI Tomoko
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E107.A Issue: 9 Pages: 1492-1495

    • DOI

      10.1587/transfun.2023DML0002

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2024-09-01
    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Correlated Randomness Reduction in Domain-Restricted Secure Two-Party Computation2024

    • Author(s)
      HIWATASHI Keitaro、NUIDA Koji
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E107.A Issue: 3 Pages: 283-290

    • DOI

      10.1587/transfun.2023CIP0023

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2024-03-01
    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Explicit Lower Bounds for Communication Complexity of PSM for Concrete Functions2024

    • Author(s)
      Shinagawa Kazumasa、Nuida Koji
    • Journal Title

      Proceedings of INDOCRYPT 2023 (Part II)

      Volume: LNCS vol.14460 Pages: 45-61

    • DOI

      10.1007/978-3-031-56235-8_3

    • ISBN
      9783031562341, 9783031562358
    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Journal Article] Efficient Construction of CGL Hash Function Using Legendre Curves2023

    • Author(s)
      Yuji Hashimoto, Koji Nuida
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E106.A Issue: 9 Pages: 1131-1140

    • DOI

      10.1587/transfun.2022DMP0003

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2023-09-01
    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficient Supersingularity Testing of Elliptic Curves Using Legendre Curves2023

    • Author(s)
      Yuji Hashimoto, Koji Nuida
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E106.A Issue: 9 Pages: 1119-1130

    • DOI

      10.1587/transfun.2022DMP0002

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2023-09-01
    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Exponential Correlated Randomness is Necessary in Communication-Optimal Perfectly Secure Two-Party Computation2023

    • Author(s)
      Keitaro Hiwatashi, Koji Nuida
    • Journal Title

      Proceedings of ITC 2023

      Volume: LIPIcs vol.267

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Explicit and Nearly Tight Lower Bound for 2-Party Perfectly Secure FSS2023

    • Author(s)
      Hiwatashi Keitaro、Nuida Koji
    • Journal Title

      Proceedings of ACNS 2023 (Part II)

      Volume: LNCS vol.13906 Pages: 541-554

    • DOI

      10.1007/978-3-031-33491-7_20

    • ISBN
      9783031334900, 9783031334917
    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Explicit and Nearly Tight Lower Bound for 2-party Perfectly Secure FSS2023

    • Author(s)
      Keitaro Hiwatashi, Koji Nuida
    • Journal Title

      Proceedings of ACNS 2023

      Volume: -

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] Computational Irrelevancy: Bridging the Gap Between Pseudo- and Real Randomness in MPC Protocols2022

    • Author(s)
      Nariyasu Heseri, Koji Nuida
    • Journal Title

      Proceedings of IWSEC 2022

      Volume: - Pages: 208-223

    • DOI

      10.1007/978-3-031-15255-9_11

    • ISBN
      9783031152542, 9783031152559
    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Presentation] Explicit Lower Bounds for Communication Complexity of PSM for Concrete Functions2023

    • Author(s)
      Kazumasa Shinagawa, Koji Nuida
    • Organizer
      INDOCRYPT 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Explicit and Nearly Tight Lower Bound for 2-party Perfectly Secure FSS2023

    • Author(s)
      Keitaro Hiwatashi, Koji Nuida
    • Organizer
      ACNS 2023
    • Related Report
      2023 Research-status Report 2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Exponential Correlated Randomness is Necessary in Communication-Optimal Perfectly Secure Two-Party Computation2023

    • Author(s)
      Keitaro Hiwatashi, Koji Nuida
    • Organizer
      ITC 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Computational Irrelevancy: Bridging the Gap between Pseudo- and Real Randomness in MPC Protocols2022

    • Author(s)
      Nariyasu Heseri, Koji Nuida
    • Organizer
      IWSEC 2022
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi