REMaQE: Reverse Engineering Math Equations from Executables

arXiv:2305.06902v2 Announce Type: replace
Abstract: Cybersecurity attacks on embedded devices for industrial control systems and cyber-physical systems may cause catastrophic physical damage as well as economic loss. This could be achieved by infecting device binaries with malware that modifies the physical characteristics of the system operation. Mitigating such attacks benefits from reverse engineering tools that recover sufficient semantic knowledge in terms of mathematical equations of the implemented algorithm. Conventional reverse engineering tools can decompile binaries to low-level code, but offer …

arxiv attacks benefits control control systems cs.cr cyber cybersecurity cybersecurity attacks device devices economic embedded embedded devices engineering industrial industrial control industrial control systems loss malware math may physical physical systems reverse reverse engineering system systems