Implementing Cryptographic Program Obfuscation
Implementing Cryptographic Program Obfuscation
复制标题
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Daniel Apon;Yan Huang;Jonathan Katz;A. Malozemoff
中科院分区：
文献类型：
--
作者：
Daniel Apon;Yan Huang;Jonathan Katz;A. Malozemoff
程序混淆是在不改变程序底层输入/输出行为的情况下使程序“难以理解”的过程。尽管在混淆启发式技术方面有很多工作，但此类方法并未为其有效性提供任何密码学保证。 Garg 等人的最新结果。然而，（FOCS 2013）表明，基于称为分级编码方案的新原语，密码程序混淆确实是可能的。在这项工作中，我们展示了此类混淆器的第一个实现。我们描述了我们在此过程中所做的一些挑战和优化，对我们的实现进行了详细的评估，并讨论了在实践中使用此类混淆器之前需要解决的研究问题。
Program obfuscation is the process of making a program “unintelligible” without changing the program’s underlying input/output behavior. Although there is a long line of work on heuristic techniques for obfuscation, such approaches do not provide any cryptographic guarantee on their effectiveness. A recent result by Garg et al. (FOCS 2013), however, shows that cryptographic program obfuscation is indeed possible based on a new primitive called a graded encoding scheme. In this work, we present the first implementation of such an obfuscator. We describe several challenges and optimizations we made along the way, present a detailed evaluation of our implementation, and discuss research problems that need to be addressed before such obfuscators can be used in practice.