品川研究室

About研究室について

コンピュータの土台から、安全と性能を高める。

品川研究室は、オペレーティングシステム（OS）や仮想化ソフトウェアを中心とした、システムソフトウェアを研究しています。
システムソフトウェアは、コンピュータ全体を制御できる特別な権限を持ち、システム全体の性能や安全性を大きく左右します。
新しいシステムの抽象化を通じて、今のコンピュータのセキュリティと性能を高めることを目指しています。
理学部7号館の改修工事のため、一時的に工学部8号館（教員室）と工学部12号館（学生室）に移っています（2026年9月時点）。

Research研究テーマ

オペレーティングシステムや仮想化技術、信頼実行環境（TEE）など、最先端のシステムソフトウェアを研究しています。システムソフトウェアによるセキュリティの向上と、性能・機能の向上の両方に取り組んでいます。

※イメージ画像

安全な隔離実行環境↗

乗っ取られたソフトウェアの被害を最小限に抑える隔離実行環境を研究しています。サンドボックスの堅牢化や、国産ハイパーバイザ BitVisor、機密仮想マシンを使った仕組みに取り組んでいます。

※イメージ画像

低レイヤのファジング↗

ファジングを、コンテナやネステッド仮想化などを支える低レイヤのシステムソフトウェアに使う手法を研究しています。見つかったクラッシュの原因の解析を助ける、新しい可視化の手法にも取り組んでいます。

※イメージ画像

幅広いセキュリティ対策↗

CPUの新しい機能を使った Use-After-Free 対策や、C から Rust への自動変換で安全な言語への移行を助けるシステム、機械学習によるマルウェア解析などを研究しています。

※イメージ画像

性能と機能を高めるOS技術↗

FPGAを使ってカーネル内のメモリ操作を仮想化する仕組みや、新しいOSの開発を助けるために、デバイスドライバを再利用しやすくするアーキテクチャの設計に取り組んでいます。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。