- プロジェクト / Projects
- 2021.08.30
セキュリティを守るハードウェアが期待通り正しく動作するかを素早く検証します
We will quickly verify the necessity and sufficiency of security hardware
暗号などのセキュリティ機能を実現するハードウェア（ディジタル回路）が期待される機能を過不足なく実現することを完全かつ高速に検証する技術の研究を始めました。これによりバグや悪意ある改変によるセキュリティホールを防げるようになります。【科研費 基盤研究（A）】
We have newly started studying a verification technology that could guarantee the necessity and sufficiency of security hardware (e.g., cryptographic hardware) in a complete and fast manner. This technology would prevent bugs and malicious changes that act as security holes. (KAKENHI Kiban (A))
暗号などのセキュリティ機能を実現するハードウェア（ディジタル回路）が期待される機能を過不足なく実現することを完全かつ高速に検証する技術の研究を始めました。これによりバグや悪意ある改変によるセキュリティホールを防げるようになります。【科研費 基盤研究（A）】
We have newly started studying a verification technology that could guarantee the necessity and sufficiency of security hardware (e.g., cryptographic hardware) in a complete and fast manner. This technology would prevent bugs and malicious changes that act as security holes. (KAKENHI Kiban (A))