セキュリティハードウェアの形式的設計・検証理論の深化と展開

2021 Fiscal Year Comments on the Screening Results

• Project/Area Number: 21H04867
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Medium-sized Section 60:Information science, computer engineering, and related fields
• Research Institution: Tohoku University
• Principal Investigator: 本間 尚文 東北大学, 電気通信研究所, 教授 (00343062)
• Co-Investigator(Kenkyū-buntansha): 上野 嶺 京都大学, 情報学研究科, 准教授 (80826165)
• Project Period (FY): 2021-04-05 – 2026-03-31

Summary of the Research Project

論理回路の設計・形式的検証技術において、従来の論理回路ベースでの設計に代わってガロア体算術演算回路による設計を行った場合における設計・形式的検証手法の開発を目標とする研究である。このような設計・形式的検証技術に着目する理由は、暗号や誤り訂正処理を必要とする回路においてガロア体算術演算回路が基本となり、従来のAND-XOR論理式による低水準な記述よりも設計および検証が容易となるためである。

Scientific Significance and Expected Research Achievements

現代社会において暗号技術は極めて重要であり、計算機の進化に伴ってそれも複雑化していることから、暗号技術のハードウェア実装とその検証を目指すというのは、社会的に重要性が高い提案である。算術演算回路の経験的な設計と膨大な検証時間を克服する学理解明を目指す研究であり、学術的意義は高いと思われる。