Market & productsКоц: ИИ Palantir через Nebius мог получить данные россиянTechora.ru · yesterdayModellingAccelMPC: High-Rate, Low-Power FPGA-Accelerated Model Predictive Control for Tiny DronesarXiv — Systems and Control (eess.SY) · 2dDigital twinA Model-Centric DevOps Architecture for DEVS-Based Digital Twin Simulation ServicesarXiv API — полнотекстовый поиск "digital twin" · 2dDigital twinPlant Equivalent Controller Realizations for Attack-Resilient Cyber-Physical SystemsarXiv — Systems and Control (eess.SY) · 2dModellingIdentifiability of Latent Space Network Models on Anisotropic Thurston GeometriesarXiv — Physics and Society (physics.soc-ph) · 2dDigital twinОпубликованы итоги форсайт-сессии «Будущее безопасности киберфизических систем в России. Перспективы и векторы развития»spbIT · 2dForecastingBaseline-improved Economic Model Predictive Control for Optimal Microgrid DispatcharXiv — Systems and Control (eess.SY) · 2dModellingStochastic Model Predictive Control under AC Power-Flow Constraints Using Generative LearningarXiv — Systems and Control (eess.SY) · 3dMarket & productsPalantir меняет метрику: вместо количества клиентов — совокупная стоимость контрактовTechora.ru · 2dModellingАтаки на агентные системы и защита данныхХабр · 2dDigital twinEmbedding Model-form Uncertainty in Probabilistic Calibration of Digital Twins for BridgesarXiv API — полнотекстовый поиск "digital twin" · 2dModellingAgentHomeID - Agent-based modelling of building stock transformation: A multi-scale framework for policy assessment and infrastructure planningarXiv — Systems and Control (eess.SY) · 3d
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
US & West ·
An explainable digital twin is proposed for detecting vulnerabilities in AArch64 machine code without access to source code. The twin reproduces program execution, preserving register, memory, and allocated block states. Each instruction is transformed into a trace event, and vulnerabilities are described by symbolic rules in Kleene algebra with tests, compiled into finite automata to scan the trace without an SMT solver.
Why it matters
The novelty lies in using a digital twin for executable code analysis, extending the concept to cybersecurity and software asset management.
Original headline
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Digital twin simulation models are evolved and redeployed like software, yet DEVS-based engines offer a sound formal basis with little support for versioning, automated validation, or continuous delivery in cloud-native environments, leaving model lifecycle management ad hoc in most deployments.
arXiv:2512.13229v2 Announce Type: replace Abstract: As cyber-physical systems (CPSs) become more dependent on data and communication networks, their vulnerability to false data injection (FDI) attacks has raised significant concerns.
Компания «Актив» завершила работу над итоговым документом по результатам форсайт-сессии «Будущее безопасности киберфизических систем в России. Перспективы и векторы развития», которая прошла в Москве в марте 2025 года.
