All news

Vulnerability Detection in AArch64 Machine Code Using a Digital Twin

An explainable digital twin is proposed for detecting vulnerabilities in AArch64 machine code without source access. The twin reproduces program execution, preserving register, flag, memory, and block states. Vulnerabilities are described as symbolic rules in Kleene algebra, compiled into finite automata to scan the trace.

Why it matters

This extends digital twin applications to security analysis of executable code, important for protecting embedded systems and industrial plants.

Relevant to DT products

Original headline
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Read the original: arXiv API — полнотекстовый поиск "digital twin"

Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.