Abstract | ||
---|---|---|
This paper considers process of obfuscation as adding additional (redundant) entities to the program at intermediate representation that would complicate the understanding of entangled code. The presented mathematical apparatus discusses introductory terms, definitions, and operations and formulates a theorem about NP-completeness of such deobfuscation problem. We show that the problem of determining the significance of the operational logic in the obfuscated routine is reduced to the Boolean satisfiability problem. The limits of applicability of the theorem are mentioned and an approach is offered that can significantly reduce the probability of creating a deobfuscator running in polynomial time. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ECBS.2012.20 | ECBS |
Keywords | Field | DocType |
introductory term,obfuscated routine,special deobfuscation problem,polynomial time,boolean satisfiability problem,operational logic,deobfuscation problem,mathematical apparatus,entangled code,intermediate representation,obfuscation,algorithm design and analysis,polynomials,vectors,reverse engineering,boolean satisfiability,np completeness | Algorithm design,Polynomial,Computer science,Boolean satisfiability problem,Reverse engineering,Theoretical computer science,Software,Intermediate language,Time complexity,Obfuscation | Conference |
Citations | PageRank | References |
2 | 0.42 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dmitriy Dunaev | 1 | 3 | 1.10 |
Laszlo Lengyel | 2 | 8 | 2.21 |