📢 HAP 2026で基調講演を実施
「Toward Holistic System Security: Isolation and Practical Analysis Across the Stack」
品川教授が，2026年6月22日に米国シャーロットで開催された 1st Workshop on Holistic Architecture for Privacy in Clouds, Edges, and IoT（HAP 2026） において，基調講演を行いました。
講演題目は「Toward Holistic System Security: Isolation and Practical Analysis Across the Stack」です。
本講演では，安全なコンピュータシステムを実現するためには，ハードウェア，ハイパーバイザ，オペレーティングシステム，ライブラリ，アプリケーションを個別に扱うだけでなく，システムスタック全体を俯瞰した取り組みが必要であることを論じました。
特に，仮想化技術や機密計算を用いた隔離機構と，ファジングや大規模言語モデルを活用した実践的なプログラム解析を取り上げ，異なる階層におけるセキュリティ技術を組み合わせることで，システム全体の安全性を高める研究について紹介しました。
HAP 2026は，クラウド，エッジ，Internet of Things（IoT）環境におけるプライバシー保護を対象とし，計算機アーキテクチャ，システムソフトウェア，形式検証を横断する総合的なアプローチについて議論する国際ワークショップです。IEEE/IFIP International Conference on Dependable Systems and Networks（DSN 2026）と併催されました。