Results 71 to 80 of about 120 (96)
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.
Yangfan Zhou, Hui Xu
exaly +3 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
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 ...
Sethumadhavan M, P P Amritha
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
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
2017 International Conference on Progress in Informatics and Computing (PIC), 2017
In order to enhance the white box security of software, we proposed a reduplicate code obfuscation algorithm to protect the source code. Firstly, we apply the parameter decomposition tree to formalize the code, and then we utilize flattening control flow system to decompose the source code into a multi-branch WHILE-SWITCH loop structure.
Wenlin Li, Jing Guo, Deyu Qi
exaly +2 more sources
In order to enhance the white box security of software, we proposed a reduplicate code obfuscation algorithm to protect the source code. Firstly, we apply the parameter decomposition tree to formalize the code, and then we utilize flattening control flow system to decompose the source code into a multi-branch WHILE-SWITCH loop structure.
Wenlin Li, Jing Guo, Deyu Qi
exaly +2 more sources
Constructing Opaque Predicate Using Homomorphic Encryption
Lecture Notes in Networks and Systems, 2022Yasuhiro Ohtaki
exaly +3 more sources
Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators With a Rapid Deobfuscator
2023 30th Asia-Pacific Software Engineering Conference (APSEC), 2023Hyeonachang Jeon +3 more
exaly +2 more sources
Dynamic Opaque Predicate Detection With a Recursive Matching Method
2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)Hyeongchang Jeon +2 more
exaly +3 more sources
An Enhanced Opaque Predicate Detection Method With Synthesis and Recursive Matching
2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC)Hyeongchang Jeon +2 more
exaly +2 more sources