The DOI matches its Crossref record; 10 of the 10 references it cites were found in a registry or an index.
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware
Open accessAbstract
Commercial-off-the-shelf (COTS) network-enabled embedded devices are usually controlled by vendor firmware to perform integral functions in our daily lives.For example, wireless home routers are often the first and only line of defense that separates a home user's personal computing and information devices from the Internet.Such a vital and privileged position in the user's network requires that these devices operate securely.Unfortunately, recent research and anecdotal evidence suggest that such security assumptions are not at all upheld by the devices deployed around the world.A first step to assess the security of such embedded device firmware is the accurate identification of vulnerabilities.However, the market offers a large variety of these embedded devices, which severely impacts the scalability of existing approaches in this area.In this paper, we present FIRMADYNE, the first automated dynamic analysis system that specifically targets Linuxbased firmware on network-connected COTS devices in a scalable manner.We identify a series of challenges inherent to the dynamic analysis of COTS firmware, and discuss how our design decisions address them.At its core, FIRMADYNE relies on software-based full system emulation with an instrumented kernel to achieve the scalability necessary to analyze thousands of firmware binaries automatically.We evaluate FIRMADYNE on a real-world dataset of 23,035 firmware images across 42 device vendors gathered by our system.Using a sample of 74 exploits on the 9,486 firmware images that our system can successfully extract, we discover that 887 firmware images spanning at least 89 distinct products are vulnerable to one or more of the sampled exploit(s).This includes 14 previouslyunknown vulnerabilities that were discovered with the aid of our framework, which affect 69 firmware images spanning at least 12 distinct products.Furthermore, our results show that 11 of our tested attacks affect firmware images from more than one vendor, suggesting that code-sharing and common upstream manufacturers (OEMs) are quite prevalent.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
Cadar, C., Dunbar, D., & Engler, D. (2008) · doi:10.5555/1855741.1855756 · Cited by 2,620
QEMU, a fast and portable dynamic translator
Bellard, F. (2005) · USENIX Annual Technical Conference · Cited by 2,207
ZMap: fast internet-wide scanning and its security applications
Durumeric, Z., Wustrow, E., & Halderman, J. A. (2013) · Cited by 652
A few billion lines of code later: using static analysis to find bugs in the real world
Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., & Engler, D. (2010) · Communications of the ACM · doi:10.1145/1646353.1646374 · Cited by 635
A Large-Scale Analysis of the Security of Embedded Firmwares
Costin, A., Zaddach, J., Francillon, A., & Balzarotti, D. (2014) · Cited by 347
Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices
Heninger, N., Durumeric, Z., Wustrow, E., & Halderman, J. A. (2013) · Cited by 346
Avatar: A Framework to Support Dynamic Security Analysis of Embedded Systems’ Firmwares
Zaddach, J., Bruno, L., Francillon, A., & Balzarotti, D. (2014) · Proceedings 2014 Network and Distributed System Security Symposium · doi:10.14722/ndss.2014.23229 · Cited by 327
When Firmware Modifications Attack: A Case Study of Embedded Exploitation
Cui, A., Costello, M. J., & Stolfo, S. J. (2013) · Network and Distributed System Security Symposium · doi:10.7916/d8p55nkb · Cited by 184
FIE on firmware: finding vulnerabilities in embedded systems using symbolic execution
Davidson, D., Moench, B., Jha, S., et al. (2013) · Cited by 128
Baseband attacks: remote exploitation of memory corruptions in cellular protocol stacks
Weinmann, R.-P. (2012) · Cited by 59
Cited by
Zhou, W., Jia, Y., Peng, A., Zhang, Y., & Liu, P. (2019) · IEEE Internet of Things Journal · doi:10.1109/jiot.2018.2847733 · Cited by 526
Scalable Graph-based Bug Search for Firmware Images
Feng, Q., Zhou, R., Xu, C., Cheng, Y., Testa, B., & Yin, H. (2016) · Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security · doi:10.1145/2976749.2978370 · Cited by 401
Dynamic Malware Analysis in the Modern Era—A State of the Art Survey
Or-Meir, O., Nissim, N., Elovici, Y., & Rokach, L. (2020) · ACM Computing Surveys · doi:10.1145/3329786 · Cited by 384
C-FLAT: Control-Flow Attestation for Embedded Systems Software
Abera, T., Asokan, N., Davi, L., Ekberg, J.-E., Nyman, T., Paverd, A., Sadeghi, A.-R., & Tsudik, G. (2016) · Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security · doi:10.1145/2976749.2978358 · Cited by 258
What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices
Muench, M., Stijohann, J., Kargl, F., Francillon, A., & Balzarotti, D. (2018) · Proceedings 2018 Network and Distributed System Security Symposium · doi:10.14722/ndss.2018.23166 · Cited by 219
Metadata
- Authors
- Chen, D. D., Egele, M., Woo, M., & Brumley, D.
- Venue
- Proceedings 2016 Network and Distributed System Security Symposium
- Publisher
- Internet Society
- Published
- 2016
- OpenAlex
- W2576376563
- Cited by
- 366
- References
- 10
- FWCI
- 15.07
- Type
- conference paper
- Language
- en
- Open access
- bronze
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Towards Automated Dynamic Analysis for Linux-based Embedded Firmware. https://app.cochat.ai/papers/10.14722/ndss.2016.23415
- The paper
- Chen, D. D., Egele, M., Woo, M., & Brumley, D. (2016). Towards Automated Dynamic Analysis for Linux-based Embedded Firmware. Proceedings 2016 Network and Distributed System Security Symposium. https://doi.org/10.14722/ndss.2016.23415
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.