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

Authors

68

  1. YZ
    Yaowen Zheng

    Institute of Information Engineering, China

    3 publications · 129 citations

    3

    h-index

  2. AF
    Aurélien Francillon

    EURECOM, France

    3 publications · 397 citations

    3

    h-index

  3. LS
    Limin Sun

    Institute of Information Engineering, China

    3 publications · 129 citations

    3

    h-index

  4. KC
    Kai Cheng

    Kyoto University, Japan

    2 publications · 100 citations

    2

    h-index

  5. DB
    Davide Balzarotti

    EURECOM, France

    2 publications · 371 citations

    2

    h-index

1–5 of 68

Venues

  1. arXiv (Cornell University)

    Repository · 1 publications · 26 citations

    1

    h-index

  2. eScholarship (California Digital Library)

    Repository · 1 publications · 60 citations

    1

    h-index

  3. Internet of Things and Cyber-Physical Systems

    1 publications · 24 citations

    1

    h-index

  4. IEICE Transactions on Information and Systems

    1 publications · 21 citations

    1

    h-index

  5. Computers & Security

    1 publications · 16 citations

    1

    h-index

1–5