How to construct a general program obfuscator? We present a novel approach to
automatically generating obfuscated code P2 from any program P whose source code is …

Obfuscation is the art of making code hard to reverse engineer and understand. In this
paper, we propose a formal model for specifying and understanding the strength of …

This paper extends the idea of specializing modified interpreters for systematically
generating obfuscated code. By using the Coq proof assistant we specify some elementary …

In recent years code obfuscation has attracted research interest as a promising technique for
protecting secret properties of programs. The basic idea of code obfuscation is to transform …

Recent studies on code protection showed that incompleteness, in the abstract interpretation
framework, has a key role in understanding program obfuscation. In particular, it is well …

In this paper we introduce a semantic-based approach for code obfuscation. The aim of
code obfuscation is to prevent malicious users to disclose properties of the original source …

This thesis examines code obfuscation techniques to protect software against analysis and
unwanted modifications. Program obfuscation makes code harder to analyze. Indirectly, this …

Code obfuscations are semantics-preserving code transformations used to protect a
program from reverse engineering. There is generally no expectation of complete, long-term …

In this technical report, we discuss the use of code obfuscation as means of protecting the
intellectual property of software. An obfuscation is a behaviour preserving program …

Control code obfuscation is intended to prevent malicious reverse engineering of software
by masking the program control flow. These obfuscating transformations often rely on the …