Opaque Predicates
Opaque Predicates is a code obfuscation technique that embeds conditional statements whose outcomes are logically predetermined yet appear non-deterministic to static analysis tools, thereby introducing misleading control flow to impede program understanding and reverse engineering.
22
Publications
1.6K
Citations
57
Authors
37
Institutions
Publications per year
2017–2026
6
22
Obfuscator-LLVM -- Software Protection for the Masses
Pascal Junod, Julien Rinaldini, Johan Wehrli et al. · 2015 · 220 citations
Opacity enforcing control synthesis
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand · 2008 · 72 citations · Full text
1–5 of 22
57
Institut de Recherche en Informatique et Systèmes Aléatoires, France
2 publications · 96 citations
2
h-index
2
h-index
2
h-index
Institut national de recherche en sciences et technologies du numérique, France
2 publications · 96 citations
2
h-index
2
h-index
1–5 of 57
37

University of Auckland
Auckland, New Zealand
3 h-index
8 publications
1.7K citations
University of Verona
Verona, Italy
2 h-index
4 publications
144 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
5 publications
264 citations
Centre Inria de l'Université de Rennes
Rennes, France
2 h-index
5 publications
264 citations

Centre National de la Recherche Scientifique
Paris, France
2 h-index
3 publications
104 citations
Goethe University Frankfurt
Frankfurt am Main, Germany
1 h-index
1 publications
42 citations
University of Ulster
Coleraine, United Kingdom
1 h-index
1 publications
142 citations
Goethe-Institute United Kingdom
London, United Kingdom
1 h-index
1 publications
42 citations
1–8 of 37
1 publications · 10 citations
1
h-index
1 publications · 42 citations
1
h-index
1 publications · 142 citations
1
h-index
1 publications · 11 citations
1
h-index
1 publications · 83 citations
1
h-index
1–5