Results 111 to 120 of about 272 (146)
Opaque Predicates Detection by Abstract Interpretation [PDF]
Lecture Notes in Computer Science, 2006 Code obfuscation and software watermarking are well known techniques designed to prevent the illegal reuse of software. Code obfuscation prevents malicious reverse engineering, while software watermarking protects code from piracy. An interesting class of algorithms for code obfuscation and software watermarking relies on the insertion of opaque ...
Koen De Bosschere +2 more
exaly +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants
Lecture Notes in Computer Science, 2021A popular control-flow obfuscation approach used to protect software is inserting opaque predicates. However, recent research has questioned the usefulness of opaque predicates with the realization that simple heuristic attacks can effectively detect them.
Yu-Jye Tung, Ian G. Harris
exaly +2 more sources
When are Opaque Predicates Useful?
2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), 2019Opaque predicates are a commonly used technique in program obfuscation, intended to add complexity to control flow and to insert dummy code or watermarks. However, there are many attacks known to detect opaque predicates and remove dummy code. We survey these attacks and argue that many types of programs cannot be securely obfuscated using opaque ...
Giovanni Russello +2 more
exaly +2 more sources
Constructing Opaque Predicates for Java Programs
2006 International Conference on Computational Intelligence and Security, 2006This paper proposes a new method to construct a family of opaque predicates for Java programs by combining indeterminate equation and cryptography. In our construction, cryptography is first exploited for manufacturing opaque predicates. Our opaque predicates are more resilient, stealthier and cheaper.
Qiaoyan Wen, Ming Mao
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.
Christian Collberg, Ginger Myles
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 ...
Clark Thomborson +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
Clark Thomborson +2 more
exaly +2 more sources
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.
Yangfan Zhou, Hui Xu
exaly +2 more sources