A Binary Analysis Framework for Instrumenting and Controlling Concurrent Behaviors of Microarchitectures

Research Project

Project/Area Number	22K11968
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60050:Software-related
Research Institution	Tokyo Institute of Technology
Principal Investigator	荒堀喜貴東京工業大学, 情報理工学院, 助教 (50613460)
Project Period (FY)	2022-04-01 – 2025-03-31
Project Status	Granted (Fiscal Year 2022)
Budget Amount *help	¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000) Fiscal Year 2024: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000) Fiscal Year 2023: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000) Fiscal Year 2022: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Keywords	マイクロアーキテクチャ脆弱性 / バイナリ解析 / 並行意味論
Outline of Research at the Start	プロセッサのマイクロアーキテクチャ内並行処理に起因する脆弱性が近年立て続けに発表され、コンピュータシステムのセキュリティ保証にとって深刻な問題となっている。本研究はこの問題の解決に向けて、マイクロアーキテクチャ並行動作起因の脆弱性を半網羅的かつ正確かつ効率的に検査する実用的なバイナリ解析手法の確立を目指す。