Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,654,179 papers from all fields of science
Search
Sign In
Create Free Account
Opaque predicate
In computer programming, an opaque predicate is a predicate—an expression that evaluates to either "true" or "false"—for which the outcome is known…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Computer programming
Control flow
Dataflow
Predicate (mathematical logic)
Reverse engineering
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Formally Verified Code Obfuscation in the Coq Proof Assistant
Weiyun Lu
2019
Corpus ID: 213725728
Code obfuscation is a software security technique where transformations are applied to source and/or machine code to make them…
Expand
2017
2017
Opaque Predicate Detection by Static Analysis of Binary Executables
R. Prakash
,
P. Amritha
,
M. Sethumadhavan
International Symposium on Security in Computing…
2017
Corpus ID: 3604150
Opaque Predicates are one of the most covert methods employed by obfuscators to mitigate the risk of reverse engineering of code…
Expand
2016
2016
Targeting Infeasibility Questions on Obfuscated Codes
Robin David
,
Sébastien Bardin
,
Jean-Yves Marion
arXiv.org
2016
Corpus ID: 16745868
Software deobfuscation is a crucial activity in security analysis and especially, in malware analysis. While standard static and…
Expand
2014
2014
The Research of Multi-point Function Opaque Predicates Obfuscation Algorithm
Y. Yubo
,
Wenqing Fan
,
Huang Wei
,
Xu Guoai
,
Yi-xian Yang
2014
Corpus ID: 121263605
On the algorithm of code obfuscation, opaque predicate is used to confuse the judgment of the program branches to achieve complex…
Expand
2014
2014
Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM
В. П. Иванников
,
Шамиль Курмангалеев
,
+4 authors
Арутюн Аветисян
2014
Corpus ID: 56364857
The paper describes the methods for obfuscating C/C++ programs to prevent applying static analyzers to them. The methods are…
Expand
2014
2014
LLVM-based overlapped executable code generator
V. Aranov
,
A. Terentiev
2014
Corpus ID: 3169983
Overlapped executable code is an attractive artifact of obfuscation technology not yet widely covered and researched. Overlapped…
Expand
2013
2013
ZERO WATERMARKING USING SECTIONAL OBFUSCATION SCHEME AND STEALTHY CODE OBFUSCATION TECHNIQUE
Ms. R. Saranya
,
Mrs . R.Arthy
2013
Corpus ID: 59355657
1 Abstract: Stealing of Watermarks is a fashionable trend in the scientific field ,the most common medium for exchange of…
Expand
2009
2009
A New Obfuscation Scheme in Constructing Fuzzy Predicates
Ding Yi
WRI World Congress on Software Engineering
2009
Corpus ID: 10955099
Based on the technique of code obfuscation in software protection, a new obfuscation scheme in constructing opaque predicates was…
Expand
2007
2007
Security through Targeted Diversification
Nessim Kisserli
,
J. Cappaert
,
B. Preneel
2007
Corpus ID: 3738334
Despite current software protection techniques, applications are still analysed, tampered with, and abused on a large scale…
Expand
2006
2006
Hunting Obfuscated Malwares by Abstract Interpretation
M. Preda
2006
Corpus ID: 13237015
The Problem. A malware is a program with a malicious behaviour, that is designed to replicate with no user consent and to damage…
Expand