Provided by: International Association for Cryptologic Research
Date Added: Nov 2013
The goal of program obfuscation is to \"Scramble\" a computer program, hiding its implementation details (making it hard to \"Reverse-engineer\"), while preserving the functionality (i.e, input/output behavior) of the program. Precisely defining what it means to \"Scramble\" a program is non-trivial: on the one hand, the authors want a definition that can plausibly satisfied, on the other hand, they want a definition that is useful for applications. A first formal definition of such program obfuscation was provided by hada [Had00]: roughly speaking, Hada's definition - let refer to it as strongly virtual black-box - is formalized using the simulation paradigm.