Results 131 to 140 of about 10,066 (160)

Semantic units: organizing knowledge graphs into semantically meaningful units of representation. [PDF]

J Biomed Semantics
Vogt L, Kuhn T, Hoehndorf R.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants

Lecture Notes in Computer Science, 2021
A 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.
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), 2019
Opaque 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 ...
Lukas Zobernig, Steven D Galbraith, Giovanni Russello   +2 more
exaly   +2 more sources

Constructing Opaque Predicates for Java Programs

2006 International Conference on Computational Intelligence and Security, 2006
This 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.
Zheng Yuan, Qiaoyan Wen
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), 2018
Control-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, Michael Lyu
exaly   +2 more sources

Software watermarking via opaque predicates: Implementation, analysis, and attacks

Electronic Commerce Research, 2006
Within 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

On the Use of Opaque Predicates in Mobile Agent Code Obfuscation

Lecture Notes in Computer Science, 2005
Mobile 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, Clark Thomborson
exaly   +2 more sources

Opaque Predicate Detection by Static Analysis of Binary Executables

Communications in Computer and Information Science, 2017
Opaque 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, M Sethumadhavan
exaly   +2 more sources

Securing Mobile Agents Control Flow Using Opaque Predicates

Lecture Notes in Computer Science, 2005
Mobile 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, Clark Thomborson
exaly   +2 more sources