SoK: A Large-Scale Empirical Study of Emulation-Based Dynamic Analysis Research for ARM Cortex-M Firmware (Extended Version)

arXiv:2609.38872 · cs.CR · Submitted 2026-09-30 · Read on arXiv

cs.CR

Submitted: 2026-09-30

Updated: 2026-09-30

Code: https://github.com/IoTS-P/LargeRehostingTesting

Terminology

Fidelity — 15× in this paper · explained in 2 episodes
Trace — 11× in this paper · explained in 2 episodes
Benchmark — 9× in this paper · explained in 2 episodes
Security and Privacy — 8× in this paper
Verification — 7× in this paper · explained in 2 episodes
Abstraction — 6× in this paper · explained in 1 episode
Accuracy — 3× in this paper · explained in 1 episode
Annual Computer Security Applications Conference — 3× in this paper
European Symposium on Research in Computer Security — 3× in this paper
Generalizability — 2× in this paper · explained in 6 episodes
Robustness — 2× in this paper · explained in 5 episodes
Unsupported Instruction — 2× in this paper
Adaptation — 1× in this paper · explained in 1 episode
Binary Analysis Research — 1× in this paper
Core — 1× in this paper · explained in 2 episodes
IEEE Transactions on Dependable and Secure Computing — 1× in this paper
Network and Distributed System Security — 1× in this paper
Symposium on Recent Advances in Intrusion Detection — 1× in this paper
Systematization of Knowledge — 1× in this paper
Systematization of Knowledge (SoK) — 1× in this paper · explained in 2 episodes
Unified Framework — 1× in this paper · explained in 5 episodes

Sources

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers

Related papers