An Obfuscation for Binary Trees

An obfuscation is a program transformation which aims to make a program "harder to understand" so that reverse engineering of that program becomes more difficult. This paper presents a fresh and promising approach to obfuscation by considering the obfuscation of objects, whose methods are modelled as functional programs. As an example of our approach, we concentrate on an object of binary trees. We use the formal method approach to program correctness which enables us to establish a framework that produces obfuscations of tree objects that exploit properties of trees. Establishing the correctness of imperative obfuscations can be a challenging task but our approach enables this to be achieved easily for all our obfuscations