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

Overview

私たちは、IoTデバイスからクラウドまで多様なプラットフォーム上で、柔軟かつ統一的なTEE（Trusted Execution Environment）アーキテクチャの実現を目指しています。本アーキテクチャでは、セキュリティ、性能、消費電力のトレードオフを考慮しつつ、特定の要件や脅威モデルに応じて、適切なEnclave構成や保護機構を選択できるようにします。

ハードウェアの観点からは、高い汎用性を持つTEEプリミティブを提供します。システムソフトウェアは、これらのプリミティブを利用することで保護ドメインを柔軟に構成することが可能になります。理論的な観点からは、TEEプリミティブを使って構築された保護ドメインが、想定される脅威モデルに対して形式的に安全であることを保証するための形式検証技術を開発します。

さらに、提案するTEE上で高機能暗号処理を安全に実行できるソフトウェア環境を開発します。Proof of Concept（PoC）として、安全なデータ配信を実現するアプリケーションを試作します。開発されたすべての成果物は、ハードウェアIPを含めてオープンソースとして公開する予定です。