📄 国際会議 EuroSys 2026 で研究成果を発表

2026年4月に英国エディンバラで開催された国際会議 European Conference on Computer Systems (EuroSys 2026) において、品川研究室の 石井 玲真 さん（博士課程1年）が “NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines” というタイトルで研究成果を発表しました。

本論文では、ハードウェア支援仮想化のエミュレーションコードを効率的にテストし、ネスト仮想化実装におけるバグや脆弱性を検出するファジングフレームワーク NecoFuzz を提案しています。

仮想マシンの巨大な状態空間、複雑な初期化処理、仮想 CPU 構成の多様性といった課題に対処するため、本研究では最小限の起動可能な仮想マシンをファジングハーネスとして構築しました。ハードウェア仮想化仕様で定義される有効・無効境界付近の仮想マシン状態を多数生成することで、仮想マシンモニタ内のネスト仮想化エミュレーションコードを効率的にテストします。

Intel VT-x および AMD-V を対象とした実装では、KVM、Xen、VirtualBox など複数の実システムにおいてバグや脆弱性を発見しました。そのうち 2 件には CVE-2023-30456 および CVE-2024-21106 が割り当てられています。

本研究は、産業技術総合研究所（AIST）の 深井 貴明 さんとの共同研究として実施されました。

EuroSys データ

• H5-index (Google Scholar Metrics): 48
• CORE Rank: A (CORE 2023)