Information leak detection through improved IoT firmware rehosting

点击翻译按钮获取中文摘要

本研究は、IoTデバイスの安全性を向上させ、最終的には社会インフラの維持を容易にすることが目的である。そのために、IoTデバイスのファームウェアを正確に解析する基盤が必要である。しかし、本研究のような小規模研究チームではすべてを実現することは困難である。本研究では目標を絞り、ファームウェア内のプログラムに基づいて周辺機器の入出力をソフトウェアでエミュレーションする方法を構築する。これは、既存の研究においても十分に達成できておらず、エミュレーションの正確性向上には不可欠な課題である。2022年度は、IoTファームウェアにおけるハードウェアアクセスをSymbolic ExecutionとConcolic Executionを利用して解析し、実行を継続するシステムの開発を行った。このシステムでは、すでに公開されているシステムを利用して解析対象の動作解析を行い、従来システムではカバーしきれないプログラムの流れを正確に解析することを目指している。現時点では、ハードウェアの違いによる差分を吸収できずに、多様な実行環境での動作の再現ができていない。このため、まだ未完成であり今後も開発を継続する必要がある。