Static Analysis For Firmware
Static Analysis for Firmware is a formal method of examining firmware code without execution, distinguished by its focus on detecting vulnerabilities, verifying correctness, and ensuring compliance in embedded systems through automated inspection of source or binary-level artifacts.
15
Publications
1.2K
Citations
68
Authors
25
Institutions
Publications per year
2017–2026
10
Parents
15
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware
Daming D. Chen, Manuel Egele, Maverick Woo et al. · 2016 · 352 citations · Full text
A Large-Scale Analysis of the Security of Embedded Firmwares
Andrei Costin, Jonas Zaddach, Aurélien Francillon et al. · 2015 · 311 citations
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware
Nilo Redini, Aravind Machiry, Ruoyu Wang et al. · 2020 · 127 citations · Full text
DTaint: Detecting the Taint-Style Vulnerability in Embedded Device Firmware
1–5 of 15
68
3
h-index
3
h-index
3
h-index
2
h-index
2
h-index
1–5 of 68
25
Institute of Information Engineering
Beijing, China
3 h-index
12 publications
503 citations

Chinese Academy of Sciences
Beijing, China
3 h-index
12 publications
503 citations
Nanyang Technological University
Singapore, Singapore
3 h-index
3 publications
79 citations
EURECOM
Valbonne, France
2 h-index
8 publications
1.5K citations
University of Chinese Academy of Sciences
Beijing, China
2 h-index
6 publications
122 citations
University of California, Santa Barbara
Santa Barbara, United States
2 h-index
12 publications
1.1K citations
Arizona State University
Tempe, United States
2 h-index
3 publications
288 citations

Huazhong University of Science and Technology
Wuhan, China
1 h-index
1 publications
21 citations
1–8 of 25
Repository · 1 publications · 26 citations
1
h-index
Repository · 1 publications · 60 citations
1
h-index
1 publications · 24 citations
1
h-index
1 publications · 21 citations
1
h-index
1 publications · 16 citations
1
h-index
1–5