Results 71 to 80 of about 218 (94)
Some of the next articles are maybe not open access.
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018Control-flow obfuscation increases program complexity by semantic-preserving transformation. Opaque predicates are essential gadgets to achieve such transformation. However, we observe that real-world opaque predicates are generally very simple and engage little security consideration.
Hui Xu, Yangfan Zhou, Michael Lyu
exaly +2 more sources
Software watermarking via opaque predicates: Implementation, analysis, and attacks
Electronic Commerce Research, 2006Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on how a software watermark is applied it can be used to discourage piracy; as proof of authorship or purchase; or to track the source of the illegal redistribution.
Ginger Myles, Christian Collberg
exaly +2 more sources
On the Use of Opaque Predicates in Mobile Agent Code Obfuscation
Lecture Notes in Computer Science, 2005Mobile agent technology is an evolving paradigm that combines the inherent characteristics of intelligent agents, namely, adaptability, reactivity and autonomy with mobility. These characteristics of mobile agents provide an excellent means of meeting the distributed and heterogeneous requirements of many military applications that involve low ...
Anirban Majumdar +2 more
exaly +2 more sources
Opaque Predicate Detection by Static Analysis of Binary Executables
Communications in Computer and Information Science, 2017Opaque Predicates are one of the most covert methods employed by obfuscators to mitigate the risk of reverse engineering of code. Detecting the presence of opaque predicates in a program is an arduous problem since, it is challenging to differentiate between the conditional expressions present in the program and the extraneous expressions added by the ...
P P Amritha +2 more
exaly +2 more sources
Securing Mobile Agents Control Flow Using Opaque Predicates
Lecture Notes in Computer Science, 2005Mobile agent technology is an evolving paradigm that combines the inherent characteristics of intelligent agents, namely, adaptability, reactivity and autonomy with mobility. These characteristics of mobile agents provide an excellent means of meeting the distributed and heterogeneous requirements for many electronic commerce applications involving low
Anirban Majumdar +2 more
exaly +2 more sources
Generalized Dynamic Opaque Predicates: A New Control Flow Obfuscation Method
Lecture Notes in Computer Science, 2016Opaque predicate obfuscation, a low-cost and stealthy control flow obfuscation method to introduce superfluous branches, has been demonstrated to be effective to impede reverse engineering efforts and broadly used in various areas of software security.
Dongpeng Xu, Dinghao Wu, Wu Dinghao
exaly +2 more sources
2014 Tenth International Conference on Computational Intelligence and Security, 2014
Static disassembly is used to analyze program control flow that is the key process of reverse analysis. Aiming at the problem that attackers are always using static disassembly to analyze control transfer instructions and control flow graph, a mixed obfuscation of overlapping instruction and self-modify code based on hyper-chaotic opaque predicates is ...
Fenlin Liu
exaly +2 more sources
Static disassembly is used to analyze program control flow that is the key process of reverse analysis. Aiming at the problem that attackers are always using static disassembly to analyze control transfer instructions and control flow graph, a mixed obfuscation of overlapping instruction and self-modify code based on hyper-chaotic opaque predicates is ...
Fenlin Liu
exaly +2 more sources
The Research of Multi-point Function Opaque Predicates Obfuscation Algorithm
Applied Mathematics and Information Sciences, 2014On the algorithm of code obfuscation, opaque predicate is used to confuse the judgment of the program branches to achieve complex control flow statement. Currently, there are problems o f obfuscation on the opaque predicate. The first problem is the isolation.
YANG Yubo +4 more
exaly +2 more sources
Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator
2023 30th Asia-Pacific Software Engineering Conference (APSEC), 2023Eun-Sun Cho
exaly +2 more sources
An Enhanced Opaque Predicate Detection Method with Synthesis and Recursive Matching
2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC)Eun-Sun Cho
exaly +2 more sources