品川研究室

About关于研究室

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

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

Research研究课题

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

※示意图

安全な隔離実行環境↗

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

※示意图

低レイヤのファジング↗

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

※示意图

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

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

※示意图

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

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。