REMaQE -- Reverse Engineering Math Equations from Executables. (arXiv:2305.06902v1 [cs.CR])

Cybersecurity attacks against industrial control systems and cyber-physical
systems can cause catastrophic real-world damage by infecting device binaries
with malware. Mitigating such attacks can benefit from reverse engineering
tools that recover sufficient semantic knowledge in terms of mathematical
operations in the code. Conventional reverse engineering tools can decompile
binaries to low-level code, but offer little semantic insight. This paper
proposes REMaQE, an automated framework for reverse engineering of math
equations from binary executables. REMaQE uses symbolic execution for dynamic
analysis …

attacks code control control systems cyber cybersecurity cybersecurity attacks device engineering industrial industrial control industrial control systems knowledge malware math operations physical recover reverse reverse engineering systems terms tools world