Agentic Reverse Engineering of Embedded AI Models: A Benchmark Design and Evaluation Protocol

LLM agents can now drive reverse-engineering tools such as Ghidra and IDA Pro through MCP servers, but how well they find and recover AI models embedded in mobile apps and firmware has not been measured. This paper reports no experiments. It proposes a benchmark design and an evaluation protocol for that measurement, from the defender’s side. The benchmark consists of author-built applications that embed known open-source models in several formats under graded protection levels, from plain assets to encrypted weights loaded by native code, so every future result will have exact ground truth. The protocol evaluates a tool-using agent against baselines on five stages: discovery, format identification, access, architecture recovery, and ancillary artifacts such as embedded prompts and labels. It also defines metrics that separate an honest failure from a false claim, a failure taxonomy, and a test of whether content planted in an analysed binary can steer the agent. We state the hypotheses to be tested and the rule for turning results into guidance on which protections slow an LLM agent.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-16
DOI
https://doi.org/10.5281/zenodo.23405942
Primary Topic
Security and Verification in Computing
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Agentic Reverse Engineering of Embedded AI Models: A Benchmark Design and Evaluation Protocol

Ruslan Tiahnienko
Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
preprint

Agentic Reverse Engineering of Embedded AI Models: A Benchmark Design and Evaluation Protocol

Ruslan Tiahnienko
preprint en

Abstract

LLM agents can now drive reverse-engineering tools such as Ghidra and IDA Pro through MCP servers, but how well they find and recover AI models embedded in mobile apps and firmware has not been measured. This paper reports no experiments. It proposes a benchmark design and an evaluation protocol for that measurement, from the defender’s side. The benchmark consists of author-built applications that embed known open-source models in several formats under graded protection levels, from plain assets to encrypted weights loaded by native code, so every future result will have exact ground truth. The protocol evaluates a tool-using agent against baselines on five stages: discovery, format identification, access, architecture recovery, and ancillary artifacts such as embedded prompts and labels. It also defines metrics that separate an honest failure from a false claim, a failure taxonomy, and a test of whether content planted in an analysed binary can steer the agent. We state the hypotheses to be tested and the rule for turning results into guidance on which protections slow an LLM agent.

Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.