Logical foundation and formal verification of quantum-resistant security protocols

• Project/Area Number: 24KK0185
• Research Category: Fund for the Promotion of Joint International Research (International Collaborative Research)
• Allocation Type: Multi-year Fund
• Review Section: Medium-sized Section 60:Information science, computer engineering, and related fields
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 緒方 和博 北陸先端科学技術大学院大学, その他の研究科, 教授 (30272991)
• Project Period (FY): 2024-09-09 – 2028-03-31
• Project Status: Adopted (Fiscal Year 2024)
• Budget Amount: ¥20,930,000 (Direct Cost: ¥16,100,000、Indirect Cost: ¥4,830,000); Fiscal Year 2027: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000); Fiscal Year 2026: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000); Fiscal Year 2025: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000); Fiscal Year 2024: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)