KARONTE论文分享PPT

KARONTE: Detecting Insecure Multi-binary Interactions in Embedded

Firmware

作者：Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea

Continella,Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna

刊登会议及时间：IEEE S&P（IEEE Symposium on Security and Privacy） 2020

许多现有设备通过使用多个二进制文件来实现其功能。这种多二进制服务实现使当

前的静态和动态分析技术无效或低效，因为它们无法识别各种可执行文件之间的通

信并对其进行充分建模。

在本文中介绍的 KARONTE是一种静态分析方法，能够通过建模和跟踪多二进制交

互来分析嵌入式设备固件。该方法在二进制文件之间传播污点信息以检测不安全的

交互并识别漏洞。首先在来自不同供应商的 53 个固件样本上评估了 KARONTE，表

明该原型工具可以成功地跟踪和约束多二进制交互。这导致发现了 46 个零日漏洞。

然后，对 899 个不同样本进行了大规模实验，结果表明 KARONTE 可以很好地扩展

不同大小和复杂度的固件样本。