Exploring for security notion of secure computation having both practical feasibility and mathematical convenience

• Project/Area Number: 25K14994
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Kyushu University
• Principal Investigator: 縫田 光司 九州大学, マス・フォア・インダストリ研究所, 教授 (20435762)
• Project Period (FY): 2025-04-01 – 2030-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2029: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2028: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2027: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2026: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
• Keywords: 暗号理論 / 秘密計算 / 安全性定義

Outline of Research at the Start

現代の暗号分野における暗号技術の安全性検証では，(1) まず安全性を数学的に定義し，(2) その定義された性質が成り立つことを証明する，という手順が踏まれる．この(1)では，実社会で求められる安全性要件と安全性の数学的定義が整合することが必須であり，一方で(2)では数学的に扱いやすい定義であることが望まれる．特に，暗号技術の一種であり昨今注目を集める秘密計算技術について，近年も新たな安全性定義が提唱されるなど安全性定義に関する研究が活発である．本研究では秘密計算技術の適切な安全性定義について，他の暗号技術との関連や波及効果も意識しつつ探究する．