该论文提出了一种名为 FIRMWELL 的固件重宿主框架，旨在解决 Linux 固件二进制文件在用户空间依赖项模拟不足的问题。现有方法对用户空间知识利用不充分，导致初始化过程不完整，且将所有模拟失败视为同类，无法区分系统级问题与用户空间依赖的间接影响。FIRMWELL 将固件重宿主建模为目标二进制文件及其用户空间依赖的协同模拟，先重宿主 init 例程构建环境，再启动目标（通常涉及数百个进程）。当模拟失败时，识别阻塞进程，分析错误模拟的资源，并应用针对性修复。其关键策略是通过纠正底层系统级模拟错误来解决用户空间依赖失败，同时利用程序分析进行精确资源值推断。在 14,049 个固件镜像上评估，成功重宿主 6,490 个服务，性能比现有方法（FIRMAE: 3,581, GREENHOUSE: 3,962, PANDAWAN: 810）提升 1.6-8 倍，平均重宿主时间减少 1.8-8.4 倍（12 分钟 vs 22/74/101 分钟）。应用 FIRMWELL 对 1,043 个固件镜像进行模糊测试，发现 67 个零日漏洞，其中 10 个已分配 CVE 编号。

蜂窝基带固件是现代移动设备的核心安全组件，但对其进行安全测试极具挑战。现有仿真器因无法完整模拟数字信号处理器（DSP）、SIM卡、射频前端等复杂外设，导致测试覆盖度有限，模糊测试（fuzzing）只能发现浅层漏洞。本文提出BaseBridge，一种全新的基带仿真方法，通过从真实设备的物理内存转储中提取并恢复关键状态，显著提升仿真逼真度。BaseBridge原型支持联发科（MediaTek）和三星（Samsung）两大主流厂商的基带固件，在评估中能够正确响应97%的RRC和NAS协议消息，代码覆盖度平均提升2.41倍（三星）和5.54倍（联发科），并通过多项LTE一致性测试。基于该仿真的模糊测试进一步显示：整体覆盖度提升2.3~5倍，针对所关注的协议功能区域覆盖度提升9.0~22.5倍。BaseBridge共发现5个新漏洞，已向受影响厂商披露。该方法突破了传统仿真器的外设支持瓶颈，为基带固件的大规模、高保真安全测试开辟了新路径。

该论文提出了一种名为Greenhouse的方法，用于在用户态模拟环境中重新托管基于Linux的固件二进制文件。固件重托管是嵌入式设备安全分析中的关键技术，它允许研究人员在模拟环境中运行固件，而无需实际硬件，从而便于进行动态分析、漏洞挖掘和功能测试。传统的全系统模拟方法通常需要模拟整个硬件平台，开销大且复杂度高。Greenhouse的创新之处在于专注于单一服务（single-service）的重托管，即仅提取固件中的某个关键服务（如Web服务器、网络服务等），并在用户态模拟器（如QEMU用户态模式）中直接运行该服务，而无需模拟整个操作系统或硬件。这种方法显著降低了模拟的开销和配置复杂度。论文在多种真实世界固件上进行了实验验证，展示了Greenhouse在功能正确性和性能方面的优势。虽然此处提供的摘要较为简略，但根据标题和领域背景，该工作对嵌入式安全研究社区具有重要参考价值，特别是为自动化固件分析工具的开发提供了新思路。

微控制器固件与硬件紧密耦合，导致动态分析工具难以应用。现有最先进的方法通过观察外设访问模式来自动建模未知外设，并利用启发式策略计算访问未知外设寄存器的响应。然而，经验表明该方法及其启发式策略经常不足以成功模拟固件。本文提出了一种名为uEmu的新方法，用于模拟未知外设的固件执行。与现有工作尝试为每个外设构建通用模型不同，uEmu学习如何在单个外设访问点正确模拟固件执行。它接受固件镜像作为输入，通过将未知外设寄存器表示为符号来进行符号执行。在符号执行过程中，uEmu推断响应未知外设访问的规则，这些规则存储在一个知识库中，供动态固件分析时参考。实验表明，uEmu在一组外设驱动单元测试中无需任何手动辅助即达到95%的通过率。此外，使用真实固件样本进行评估时，uEmu发现了新的漏洞。