Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces
Andrei Costin, Apostolis Zarras, Aur\'elien Francillon

TL;DR
This paper introduces a scalable, automated framework for dynamic firmware analysis to discover security vulnerabilities in embedded web interfaces across various devices and vendors, revealing significant security issues at large scale.
Contribution
The paper presents the first fully automated, scalable framework for dynamic firmware analysis of embedded web interfaces, applicable across multiple device types and architectures.
Findings
Discovered vulnerabilities in 185 out of 1925 firmware images.
Identified security issues affecting nearly a quarter of vendors.
Validated the framework's effectiveness at large scale.
Abstract
Embedded devices are becoming more widespread, interconnected, and web-enabled than ever. However, recent studies showed that these devices are far from being secure. Moreover, many embedded systems rely on web interfaces for user interaction or administration. Unfortunately, web security is known to be difficult, and therefore the web interfaces of embedded systems represent a considerable attack surface. In this paper, we present the first fully automated framework that applies dynamic firmware analysis techniques to achieve, in a scalable manner, automated vulnerability discovery within embedded firmware images. We apply our framework to study the security of embedded web interfaces running in Commercial Off-The-Shelf (COTS) embedded devices, such as routers, DSL/cable modems, VoIP phones, IP/CCTV cameras. We introduce a methodology and implement a scalable framework for discovery…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsWeb Application Security Vulnerabilities · Advanced Malware Detection Techniques · Security and Verification in Computing
