Of Unicorns and Random Programs

A. Yasinsac and J.T. McDonald (USA)


Obfuscation, program encryption, mobile agent security, tamper-proof software


We provide a theoretical and practical notion of white-box security for protecting integrity and privacy of software. This notion provides a useful framework to analyze and implement software encryption mechanisms. We relate strength of program encryption to properties of random programs and take a purposefully different view of security than the traditionally cited virtual black-box method of Barek et al. [1]. We pose and answer several questions of interest: what are random programs, do they exist, and how can they be used to evaluate effectiveness of proposed algorithms. Further, a theoretical foundation for program security based on the random oracle model is defined using our definition of random programs.

Important Links:

Go Back