投機実行ドライランによるSpectre脆弱性検出の高速化
| 体系的番号 |
JPMJAX25MK |
研究代表者 |
林 方正 東京科学大学, 工学院, 大学院生
|
|---|
| 研究期間 (年度) |
2025 – 2027
|
| 概要 | Spectre脆弱性はプログラムから秘密情報を漏洩させ、計算機システムの安全性を脅かすため、対策は急務である。本研究は、Spectre脆弱性対策の重要な一環であるガジェット検出の高速化と実用化に着眼し、静的分析と専用プロセッサ設計による投機実行ドライランを組み合わせた新手法を提案する。従来手法の性能ボトルネックを大幅に改善し、さらにリアルタイム検出・防御も視野に入るから、実用性が期待できる。
|
|---|
| 研究領域 | AI共生社会を拓くサイバーインフラストラクチャ |
|---|
