paperbot · PL 论文追踪

全部论文 待读 收藏

P1 FirmProj: Detecting Firmware Leakage in IoT Update Processes via Companion App Analysis

FirmProj:通过伴侣应用分析检测 IoT 固件更新过程中的固件泄露
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 5/10 · 论文将静态分析与 LLM 结合用于自动审计 IoT 伴侣应用并发现固件泄露,属于“静态分析+LLM 工具化”的交叉应用,且有大规模实证与 CVE 落地结果;但其目标域是 IoT 固件安全,不涉及 ML 系统/Agentic 程序、浮点程序分析或贝叶斯程序分析,方法上也更偏应用而非静态分析理论或形式化验证创新。引用 0 inbox
Wenzhi Li, Jialong Guo, Jiongyi Chen, Fan Li, Yujie Xing, Yanbo Xu, Shishuai Yang, Wenrui Diao
crossref: 2026-09-12

AI 速览

一句话:结合静态分析与大模型自动审计 IoT 伴侣应用,揭示固件更新中的泄露漏洞并获得 35 个 CVE。

IoT 设备普遍依赖伴侣应用进行管理,而其设备固件更新(DFU)流程往往缺乏充分校验,导致固件可被直接下载并泄露,攻击者可据此逆向设备设计。为解决该问题,作者提出自动化分析工具 FirmProj,系统评估 IoT 伴侣应用中的固件泄露风险。该工具将先进静态分析技术与大语言模型相结合,能够自动识别 DFU 模块、抽取固件文件并检测其中的安全漏洞。在对 10,047 个 IoT 伴侣应用的大规模实证研究中,FirmProj 成功获取 3,434 个固件文件,发现 DFU 实现中可导致固件泄露的严重缺陷,相关工作共获得 35 个 CVE 编号。研究结果表明,IoT 生态亟需强化固件保护机制。

问题
IoT 伴侣应用的设备固件更新(DFU)流程缺乏充分校验,导致固件易被泄露并被攻击者逆向分析。
方法
FirmProj 将静态分析技术与大语言模型结合,自动识别伴侣应用中的 DFU 模块、抽取固件文件并检测相关安全漏洞。
评估
对 10,047 个真实 IoT 伴侣应用开展大规模实证研究,成功获取 3,434 个固件文件并发现多处严重缺陷,最终获得 35 个 CVE 编号。
原文摘要(Abstract)

The rapid growth of the Internet of Things (IoT) has led to the widespread use of companion apps for device management. However, these apps expose a critical vulnerability in the IoT ecosystem: insufficient verification procedures during device firmware updates (DFU), often resulting in firmware leakage. Once leaked, the firmware reveals sensitive design details, creating a straightforward path for attackers to reverse-engineer devices. To address this issue, we designed an automated analysis tool called FirmProj. It systematically evaluates firmware leakage risks by examining IoT companion apps. FirmProj combines advanced static analysis techniques with large language models to identify DFU modules, extract firmware files, and detect security vulnerabilities. In a large-scale study involving 10,047 IoT companion apps, FirmProj successfully retrieved 3,434 firmware files, uncovering severe flaws in DFU implementations that can lead to firmware leakage. These findings resulted in the assignment of 35 CVE IDs. Our results highlight the urgent need to strengthen firmware protection mechanisms throughout the IoT ecosystem.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9224,
  title = {FirmProj: Detecting Firmware Leakage in IoT Update Processes via Companion App Analysis},
  author = {Wenzhi Li and Jialong Guo and Jiongyi Chen and Fan Li and Yujie Xing and Yanbo Xu and Shishuai Yang and Wenrui Diao},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00171}
}