Digital twinDe-Risking Robotic Welding for In-Space Metal Joining Through Physics-Grounded Digital TwinsarXiv API — полнотекстовый поиск "digital twin" · 22hModellingSequential Learning-Based Physics-Informed Neural Network Modeling for Parameter Estimation on a Power ConverterarXiv — Systems and Control (eess.SY) · yesterdayModellingAdaptive Handling of Deadline Misses via Stochastic MPCarXiv — Systems and Control (eess.SY) · 2dModellingInstitutionalizing Trust in Data Exchange: Trust-Anchor Model of the Data Credit Guarantee Organization and Its Simulation-Based ComparisonarXiv — Computers and Society (cs.CY) · 2dDigital twinDigital Twin-Conditioned RSS-Fingerprint Localization in Cell-Free Millimeter-Wave NetworksarXiv API — полнотекстовый поиск "digital twin" · yesterdayModellingAI уже делает инженеров хуже? Как агентная разработка выращивает технологический зоопаркХабр · yesterdayDigital twinFeasibility of a Patient-Specific Digital Twin for Ventriculoperitoneal Shunt Trajectory PlanningarXiv API — полнотекстовый поиск "digital twin" · 2dModellingBayesian Optimization under Uncertainty for Training a Scale Parameter in Stochastic ModelsarXiv — Computational Engineering, Finance, and Science (cs.CE) · 2dDigital twinDecision-Making in Digital Twins: Optimization, Control, and LearningarXiv — Systems and Control (eess.SY) · 2dDigital twinBALLAST: Physics-Aware Moving Target Defense for Industrial Control Systems Using a Digital Twin Safety OraclearXiv — Systems and Control (eess.SY) · 2dDigital twinОпубликованы итоги форсайт-сессии «Будущее безопасности киберфизических систем в России. Перспективы и векторы развития»spbIT · 2dDigital twinProbabilistic Physics Digital Twin for Human-Robot InteractionarXiv API — полнотекстовый поиск "digital twin" · 2d
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
Growing interest in in-space servicing, manufacturing, and assembly has renewed attention on reliable metal joining for modular construction and on-orbit repair. Robotic welding is promising, but reduced-gravity and low-pressure operation remains poorly characterised and flight-like tests are…
Digital twins (DTs) can generate dense synthetic fingerprints for localization via ray tracing, yet the sim-to-real domain gap limits their direct use, particularly in cell-free millimeter-wave (mmWave) deployments where distributed geometries and blockage-induced sparsity widen the mismatch.
Catheter obstruction is the commonest cause of shunt failure; freehand insertion at Keen's point leaves the tip free in cerebrospinal fluid in only one case in ten. We built a digital twin that reconstructs skull, scalp, ear and ventricles from preoperative CT by deterministic geometry, searches…
