研究

TEE に対するマイクロアーキテクチャ攻撃

マイクロアーキテクチャ攻撃が、TEE（信頼実行環境）の隔離の保証に与える影響を研究しています。特に、隔離の仕組みを支えるハードウェア上の状態に着目しています。

TEE は、内部のコードとデータを特権ソフトウェアからも守るように設計されています。一方で、その保証はキャッシュやメモリなど、実際のハードウェアの動作にも依存します。この依存関係から、どのような攻撃の可能性が生まれるかを調べています。

LLM エージェントによるリバースエンジニアリングとバイナリエクスプロイトを評価し、どの段階で成功・失敗するかを分析しています。攻撃の自動化がどこまで進んでいるかを明らかにし、ソフトウェア保護の設計につなげることが目標です。

CTF の課題を用いて、プログラムの理解からエクスプロイトの作成に至る過程を追跡します。実行ログや失敗パターンを調べ、保護手法がエージェントの推論やツール利用に与える影響を分析することで、成功率だけでは見えない得意・不得意を捉えます。

RISC-V の最上位権限で動くファームウェアを対象に、脆弱性探索を自動化するファジング基盤 Hisame を開発しています。対象は、OS とマシンモードのファームウェアをつなぐ SBI（Supervisor Binary Interface）の実装です。

このファームウェアは OS などのソフトウェアを下から支えているため、欠陥がシステム全体の安全性に影響します。Hisame は実行カバレッジを手がかりにテスト入力を生成し、ファームウェア内部のメモリエラーを検出することで、この層の体系的な検証を目指します。

状態を持つネットワークプロトコルを対象に、不具合の再現に必要な振る舞いを保ちながらテストケースを小さくする手法を研究しています。開発者が原因を調べやすい、短時間で実行できるテストケースを得ることが目標です。

プロトコルのメッセージ列は、データを渡すと同時にサーバの状態を変化させます。メッセージを削ると、不具合が起きる条件まで失われることがあります。そこで、対象からの応答を基に状態機械を推定し、削除できるメッセージやバイト列を判断します。