Yasushi Shinjo 研究室

本研究室では、コンピュータシステムのセキュリティと信頼性を確保するための実装技術に取り組んでいます。特に、機密計算環境（信頼できる実行環境）、リアルタイムシステム、ブロックチェーン技術などの基盤となる仕組みを活用して、ユーザーのデータ保護やシステム制御を実現する方法を研究しています。 研究の主な課題は、複雑に相互作用するシステムにおいて、どのようにして信頼性と安全性を両立させるかという点にあります。具体的には、信頼できる実行環境内でのデータ永続化、複数のユーザー間での安全なデータ共有と権限管理、仮想化技術を用いた通信制御の実装、ブロックチェーンを利用した改ざん耐性のあるサービス構築など、多様な課題に対応しています。 これらの研究では、既存の OS やハイパーバイザー、ブロックチェーンといった技術基盤を活用しながら、実装面での工夫を通じて実用的なセキュリティ機構を構成する方法を探求しています。理論的な議論だけでなく、実際のシステムで動作する具体的な実装方式の開発が重視されており、学生は基本的な計算機アーキテクチャとシステムソフトウェアの理解に基づいて、実践的なセキュリティ技術を習得することができます。