セキュアコンピュータシステム研究開発センター

高信頼・高安全を実現するコンピュータシステムを目指して形式的検証技術に立脚したハードウェアからソフトウェアの研究開発を行います。

セキュアセンター概要

本研究開発では、IoTからクラウドまで多様なプラットフォームにおいて、その要求・脅威モデルに応じて適切な保護領域を構成できる単一のTEEアーキテクチャ(高信頼実行環境の構成方式)を実現します。ハードウェアが提供するプリミティブ(基本メカニズム)を用いて、ソフトウェアが柔軟に保護領域を構成し、それがセキュアであることを理論的に保証します。また、プライバシーなどを考慮したアテステーション(真正性・完全性検証)機構や、暗号処理などを含むTEEアプリケーションを異なるTEE上でセキュアに実行するミドルウェアを開発します。

また、共同利用基盤施設として、研究コミュニティおよび若手研究者の育成、国際標準化などのアウトリーチ活動や新たな価値の創出に向けた活動を推進します。

本研究開発は、内閣府が進める経済安全保障重要技術育成プログラム(K Program) の支援を受け、開発構想 セキュアなデータ流通を支える暗号関連技術(高機能暗号)  の支援を受けています。

メンバー

センターのホームページをご参照ください

センター所在地

〒101-0051
東京都 千代田区 神田神保町 2-11-15 住友商事 神保町ビル 2F
WeWork 神保町 Room No. 03-111 情報・システム研究機構