Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376312462> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4376312462 abstract "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 of the binary to extract the relevant semantic knowledge of the implemented algorithms. REMaQE provides an automatic parameter analysis pass which also leverages symbolic execution to identify input, output, and constant parameters of the implemented math equations. REMaQE automatically handles parameters accessed via registers, the stack, global memory, or pointers, and supports reverse engineering of object-oriented implementations such as C++ classes. REMaQE uses an algebraic simplification method which allows it to scale to complex conditional equations with ease. These features make REMaQE stand out over existing reverse engineering approaches for math equations. On a dataset of randomly generated math equations compiled to binaries from C and Simulink implementations, REMaQE accurately recovers a semantically matching equation for 97.53% of the models. For complex equations with more operations, accuracy stays consistently over 94%. REMaQE executes in 0.25 seconds on average and in 1.3 seconds for more complex equations. This real-time execution speed enables a smooth integration in an interactive mathematics-oriented reverse engineering workflow." @default.
- W4376312462 created "2023-05-13" @default.
- W4376312462 creator A5053148078 @default.
- W4376312462 creator A5054769060 @default.
- W4376312462 creator A5059648257 @default.
- W4376312462 creator A5082413942 @default.
- W4376312462 creator A5091932376 @default.
- W4376312462 date "2023-05-11" @default.
- W4376312462 modified "2023-09-30" @default.
- W4376312462 title "REMaQE -- Reverse Engineering Math Equations from Executables" @default.
- W4376312462 doi "https://doi.org/10.48550/arxiv.2305.06902" @default.
- W4376312462 hasPublicationYear "2023" @default.
- W4376312462 type Work @default.
- W4376312462 citedByCount "0" @default.
- W4376312462 crossrefType "posted-content" @default.
- W4376312462 hasAuthorship W4376312462A5053148078 @default.
- W4376312462 hasAuthorship W4376312462A5054769060 @default.
- W4376312462 hasAuthorship W4376312462A5059648257 @default.
- W4376312462 hasAuthorship W4376312462A5082413942 @default.
- W4376312462 hasAuthorship W4376312462A5091932376 @default.
- W4376312462 hasBestOaLocation W43763124621 @default.
- W4376312462 hasConcept C11413529 @default.
- W4376312462 hasConcept C160145156 @default.
- W4376312462 hasConcept C177212765 @default.
- W4376312462 hasConcept C199360897 @default.
- W4376312462 hasConcept C207850805 @default.
- W4376312462 hasConcept C26713055 @default.
- W4376312462 hasConcept C2777904410 @default.
- W4376312462 hasConcept C2779639559 @default.
- W4376312462 hasConcept C33923547 @default.
- W4376312462 hasConcept C41008148 @default.
- W4376312462 hasConcept C48372109 @default.
- W4376312462 hasConcept C77088390 @default.
- W4376312462 hasConcept C80444323 @default.
- W4376312462 hasConcept C94375191 @default.
- W4376312462 hasConceptScore W4376312462C11413529 @default.
- W4376312462 hasConceptScore W4376312462C160145156 @default.
- W4376312462 hasConceptScore W4376312462C177212765 @default.
- W4376312462 hasConceptScore W4376312462C199360897 @default.
- W4376312462 hasConceptScore W4376312462C207850805 @default.
- W4376312462 hasConceptScore W4376312462C26713055 @default.
- W4376312462 hasConceptScore W4376312462C2777904410 @default.
- W4376312462 hasConceptScore W4376312462C2779639559 @default.
- W4376312462 hasConceptScore W4376312462C33923547 @default.
- W4376312462 hasConceptScore W4376312462C41008148 @default.
- W4376312462 hasConceptScore W4376312462C48372109 @default.
- W4376312462 hasConceptScore W4376312462C77088390 @default.
- W4376312462 hasConceptScore W4376312462C80444323 @default.
- W4376312462 hasConceptScore W4376312462C94375191 @default.
- W4376312462 hasLocation W43763124621 @default.
- W4376312462 hasOpenAccess W4376312462 @default.
- W4376312462 hasPrimaryLocation W43763124621 @default.
- W4376312462 hasRelatedWork W1504651774 @default.
- W4376312462 hasRelatedWork W1967499492 @default.
- W4376312462 hasRelatedWork W1984757784 @default.
- W4376312462 hasRelatedWork W2083338789 @default.
- W4376312462 hasRelatedWork W2142934822 @default.
- W4376312462 hasRelatedWork W2168645221 @default.
- W4376312462 hasRelatedWork W2355962542 @default.
- W4376312462 hasRelatedWork W2748872428 @default.
- W4376312462 hasRelatedWork W2899100898 @default.
- W4376312462 hasRelatedWork W4251854468 @default.
- W4376312462 isParatext "false" @default.
- W4376312462 isRetracted "false" @default.
- W4376312462 workType "article" @default.