Understanding malware semantics by AI-supported formal methods
Description: 人間には解釈困難なバイナリコードに対し(1)操作的意味はレジスタ・フラッグ・メモリ・スタック上の状態遷移系として定義可能、(2)各命令仕様はリジッドな自然言語記述、(3)エミュレータ等テスト環境が完備などの観察に立脚し、英文マニュアルから命令の操作的意味自動抽出によりBE-PUM(x86), Corana(ARM), SiMIPS(MIPS)等のツールをGitHubで公開してきた。本研究は、多数のMPU/MCUの動的記号実行器の自動生成に加え、構造隠蔽前のペイロードの自動復元・抽出を行い、教師無し学習による特徴抽出、自然言語処理を用いた意味解釈を通じた新規感染手法検出・系統樹生成を目的とする。
Amount: ¥25,870,000
Funding type: research
Funder scheme: Grant-in-Aid for Challenging Research (Pioneering)
Start date: 2020-07-30
End date: 2026-03-31
Investigator: 瑞史 小川
Institution: Japan Advanced Institute of Science and Technology
Funded outputs count: 21
Funder award ID: 20K20625
OpenAlex ID: G7011282011