Cryptology ePrint Archive: Report 2008/087
Towards a Theory of White-Box Security
Amir Herzberg and Haya Shulman and Amitabh Saxena and Bruno Crispo
Abstract: Program hardening for secure execution in remote untrusted environment is an important yet elusive goal of security, with numerous attempts and efforts of the research community to produce secure solutions.
Obfuscation is the prevailing practical technique employed to tackle this issue.
Unfortunately, no provably secure obfuscation techniques currently exist. Moreover, Barak et. al., showed that not all programs can be obfuscated.
Theoretical research exhibits provably secure albeit inefficient constructions, e.g. using tools from encrypted domain. We present a rigorous approach to software execution in remote environment based on a new white box primitive, the White Box Remote Program Execution (WBRPE), whose security specifications include confidentiality and integrity of both the local and the remote hosts. WBRPE can be used for many applications, e.g. grid computing, digital rights management, mobile agents.
We then present a construction of a specific program such that if there exists a secure WBRPE for that program, then there is a secure WBRPE for any program, reducing its security to the underlying WBRPE primitive. The security of WBRPE construction is established by reduction among two white box primitives and it introduces new techniques of programs manipulation.
Category / Keywords: cryptographic protocols / obfuscation, white box security, provable security
Publication Info: 24th IFIP International Information Security Conference
Date: received 27 Feb 2008, last revised 25 Apr 2009
Contact author: haya shulman at gmail com
Available format(s): PDF | BibTeX Citation
Note: Updated the contact author.
Version: 20090425:125117 (All versions of this report)
Short URL: ia.cr/2008/087
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]