| Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S., Yang, K.: On the (im)possibility of obfuscating programs. In: CRYPTO. (2001) |
.... at this question by our interest in software obfuscation [10, 11] A software obfuscator is an automatic technique that transforms programs into functionally equivalent variants that are more di#cult to understand or analyze [10, 11] Obfuscation can be shown to be theoretically impossible [7], given enough computational power and memory. This has not deterred attempts to construct obfuscators that have embedded instances of hard problems. For example, 8] shows that an instance of a PSPACE hard problem may be embedded in the control flow of the obfuscated program. As another example, ....
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Proceedings of CRYPTO, 2001.
....a software implementation measures to what extent the implementation resists arbitrary or deliberate modifications. For example, an implementation can be protected 11 from removing a copy protection mechanism. Thus, obfuscation is a common technique for improving tamper resistance. Barak et al. [16] give a formal definition of obfuscation using a black box approach which is the ideal case. They show that in their model, that obfuscation is not possible. Encrypting the executable binary [11] is the most common approach for hiding code. In binary encryption the program is encrypted and ....
....input some tamper resistant code and attempt to break the tamper resistance. Currently no such benchmark exists and there is no clear model for building such a benchmark. One of the main open problems in code obfuscation is to come up with a model for obfuscation that can be realized in practice. [16] defines obfuscation using a black box model that hides all properties of a program. They show that it is not possible to achieve obfuscation in that model. For practical purposes a black box model might not always be necessary. In the example of the obfuscated DES cipher in this paper we only ....
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139:1--18, 2001.
....In the same class of binary code related information hiding, worth mentioning are the techniques for obfuscation. In this case, the hidden information is the algorithm itself, protected from disallowed decompilation disassembly reverse engineering. Relevant to this is the work of Barak and others [4] discussing the (Im)possibility of Obfuscating Programs . The tamperproo ng approach of [6] inserts a static (possibly encrypted and stored as 17 data) watermark that is subsequently protected at runtime by the software s self protection run time mechanisms that detect and react to any such ....
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs, 2001.
....data. Sander and Tschudin therefore suggest combining the method with undetachable signatures (see below) Although the idea is straightforward, the trick is to find appropriate encryption schemes that can transform functions as intended; this remains a research topic. Recently Barak et al. [1] has shown that it is unlikely that this approach will succeed. Obfuscated code Hohl [9] proposes what he refers to as Blackbox security to scramble an agent s code in such a way that no one is able to gain a complete understanding of its function. However, no general algorithm or approach ....
Boaz Barak, Oded Goldreich, Rusell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (Im)possibility of Obfuscating Programs. In J. Kilian, editor, Proceedings of the 21st Annual International Cryptology Conference, Santa Barbara, California, USA, volume 2139 in LNCS, pages 1--18, Springer-Verlag, Berlin, 2001.
....technique to extract sensitive data from the client, or to otherwise violate its integrity. The only limiting factors are the computational resources the host can expend on analyzing the client code. While it is generally believed that complete protection of client code is an unattainable goal [7], recent results (by ourselves and others) have shown that some degree of protection can be achieved. Recently, software watermarking [22,28,35,60] tamper proofing [5,6,38,77] and obfuscation [20,23 25,38,49,65, 92] have emerged as feasible technical means for the intellectual property ....
....described in this paper provide at least a modicum of protection for software against attacks by malicious hosts. Future research will show exactly which attacks these methods are vulnerable to, and to what extent they can be improved. Particularly interesting are recent theoretical results [7,36,61] which point the way towards a deeper understanding of the limits of software protection. Acknowledgement. We are grateful for the extensive and insightful comments of two anonymous referees. ....
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs (extended abstract). In J. Kilian, editor, Advances in Cryptology - CRYPTO 2001, 2001. LNCS 2139.
....how much computation and time an attacker is forced to spend in removing a watermark without damaging the original source. Theoretical computer scientists have recently made some intriguing arguments about the impossibility of making a watermark that will withstand an indefinitely sustained attack [Barak et al. 2001]. 6.3 Perceptibility Originally,watermarks were such that they were easily apparenttoa viewer. It is common for software to display a copyright notice, whichisatype of visible, static watermark as it starts up or as an easily accessible menu option. Authentication Watermarking Licensing ....
Barak, B. et al. (2001). On the (im)possibility of obfuscating programs (extended abstract). Available http://www.wisdom. weizmann.ac.il/~oded/obfuscate.html, August 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. CRYPTO 2001, 2001.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In Proceedings of CRYPTO 2001.
....broken by cryptanalysis. OUR MODEL. Ideally, we would like to achieve security against an all powerful attacker, i.e. one that can observe every internal value produced during the computation. However, this task is generally impossible to achieve, as follows from the impossibility of obfuscation [4]. Instead, we settle for achieving security against adversaries that are limited in their power to observe the computation. There are many ways we could consider limiting the adversary, but in this paper we choose a simple metric: a t limited adversary is one that can observe at most t wires of ....
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. CRYPTO 2001, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In J. Kilian, editor, Advances in Cryptology -- CRYPTO'2001, volume 2139 of Lecture Notes in Computer Science, pages 1--18. Springer-Verlag, Berlin, Germany, 2001.
....by Kilian [Kil92] Kil95] and Micali [Mic94] Dwork, Naor, Reingold and Stockmeyer [DNRS99] have explored some connections between the existence of non black box 3 round zero knowledge arguments and other problems in cryptography. Some other non black box results were shown by Barak et al. [BGI 01] in the context of code obfuscation. 1.2 Organization of this paper Section 2 contains an overview of the main part in our construction. This section does not contain proofs, and is independent of the rest of the paper. 2 Actually in this paper we need to require that there exist hash ....
....verifier s code, although it applies some non trivial transformations (such as a PCP reduction and a Cook Levin reduction) to this code. Yet, we see that even without doing true reverse engineering, one can achieve results that are impossible in a black box model. This is in a similar vein to [BGI 01] where the impossibility of code obfuscation is shown without doing true reverseengineering. One may hope to be able to define a model for an enhanced black box simulator that would be strong enough to allow all the techniques we used, but weak enough to prove impossibility results that ....
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahay, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. To appear in CRYPTO
....schemes, and pseudorandom function families. Keywords: cryptography, complexity theory, software protection, homomorphic encryption, Rice s Theorem, software watermarking, pseudorandom functions, statistical zero knowledge # An extended abstract of this work is to appear in CRYPTO 2001 [BGI 01] Department of Computer Science, Weizmann Institute of Science, Rehovot, ISRAEL. E mail: boaz,oded wisdom.weizmann.ac.il # Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA 92093 0114. E mail: russell cs.ucsd.edu Computer Science ....
Boaz Barak, Oded Goldreich, Russell Impagaliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In J. Kilian, editor, Advances in Cryptology---CRYPTO '01, Lecture Notes in Computer Science. Springer-Verlag,
No context found.
Boaz Barak, Oded Goldreich, Russell Impagaliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In J. Kilian, editor, Advances in Cryptology|CRYPTO '01, Lecture Notes in Computer Science. Springer-Verlag, 2001, August 2001. To appear.
No context found.
Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S., Yang, K.: On the (im)possibility of obfuscating programs. In: CRYPTO. (2001)
No context found.
Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S.P., Yang, K.: On the (im)possibility of obfuscating programs. In Kilian, J., ed.: CRYPTO. Volume 2139 of Lecture Notes in Computer Science., Springer (2001) 1--18
No context found.
Barak, B., Goldrecih, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S. & Yang K. 2001 On the (im)possibility of obfuscating programs. In Advances in Cryptology - CRYPTO 2001, Proc. 21st Annual International Cryptology Conference, Santa Barbara, California, USA, 19--23 August 2001 (ed. J. Kilian). Springer-Verlag Lecture Notes in Computer Science, no. 2139, pp. 1--18.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahay, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In Crypto '01, pages 1--18, 2001. LNCS No. 2139.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. Cryptology ePrint Archive, Report 2001.
No context found.
Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S., & Yang, K. (2001), On the (Im)possibility of Obfuscating Programs, In the proceedings of CRYPTO-2001. LNCS Volume 2139, Springer-Verlag. Santa Barbara, CA, USA Chow, S., Gu, Y., Johnson, H. & Zakharov, V.A.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, K. Yang, On the (Im)possibility of Obfuscating Programs, pp. 1-18, Advances in Cryptology { Crypto 2001 (lncs 2139), Springer-Verlag, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, K. Yang, \On the (Im)possibility of Obfuscating Programs", pp. 1-18, Advances in Cryptology { Crypto 2001, Springer LNCS 2139 (2001).
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, Ke Yang, On the (Im)possibility of Obfuscating Programs, pp. 1-18, Advances in Cryptology { Crypto 2001 (lncs 2139) Springer-Verlag, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, K. Yang, On the (Im)possibility of Obfuscating Programs, pp. 1-18 in: Advances in Cryptology --- Crypto 2001 (lncs 2139), Springer-Verlag, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, K. Yang, \On the (Im)possibility of Obfuscating Programs", pp. 1-18, Advances in Cryptology { Crypto 2001, Springer LNCS 2139 (2001).
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, K. Yang, On the (Im)possibility of Obfuscating Programs, pp. 1-18 in: Advances in Cryptology | Crypto 2001 (lncs 2139), Springer-Verlag, 2001.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, Ke Yang, On the (Im)possibility of Obfuscating Programs, pp. 1-18, Advances in Cryptology -- Crypto 2001 (lncs 2139) Springer-Verlag, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139, 2001.
No context found.
Barak, B., Goldreich, O., Impagaliazzo, R., Rudich, S., Sahai, A., Vadhan, S., and Yang, K. On the (im)possibility of obfuscating programs. LNCS, Vol. 2139, 2001, 1-18.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology - Proceedings of CRYPTO 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology - CRYPTO `01, volume 2139 of Lecture Notes in Computer Science, pages 1 -- 18, Santa Barbara, CA, August 2001. Springer-Verlag.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology (CRYPTO'01), volume 2139 of Lecture Notes in Computer Science, pages 1 -- 18. Springer-Verlag, August 2001.
No context found.
Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S. Yang, K., On the (Im)possibility of Obfuscating Programs, pp. 1-18 in: Advances in Cryptology - Crypto
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139, 2001. 1, 3.6.2
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139, 2001.
No context found.
B. Barak, O. Goldreich, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology - Proceedings of CRYPTO 2001, 2001.
No context found.
B Barak, O Goldreich, R Impagliazzo, S Rudich, A Sahai, S Vadhan, and K Yang. On the (im)possibility of obfuscating programs (extended abstract). In J. Kilian, editor, Advances in Cryptology, CRYPTO '01, Lecture Notes in Computer Science. Springer-Verlag, 2001.
No context found.
B. Barak, O. Goldreich, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology - Proceedings of CRYPTO 2001.
No context found.
Barak, B., Goldreich, O., Impagaliazzo, R., Rudich, S., Sahai, A., Vadhan, S., and Yang K. On the (im)possibility of obfuscating programs. LNCS, Vol. 2139, 2001, 1-18.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In J. Kilian, editor, Advances in Cryptology -- Crypto 2001.
No context found.
B Barak, O Goldreich, R Impagliazzo, S Rudich, A Sahai, S Vadhan, and K Yang. On the (im)possibility of obfuscating programs (extended abstract). In J. Kilian, editor, Advances in Cryptology, CRYPTO '01, Lecture Notes in Computer Science. Springer-Verlag, 2001.
No context found.
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In J. Kilian, editor, Advances in Cryptology -- Crypto 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Proceedings of the 21st Annual International Cryptology Conference, pages 1-18, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139, 2001.
No context found.
B.Barak,O.Goldreich,R.Impagliazzo,S.Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Proceedings of CRYPTO, 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. Lecture Notes in Computer Science, 2139:1--??, 2001.
No context found.
B. Barak, O. Goldreich, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Advances in Cryptology - Proceedings of CRYPTO 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (Im)possibility of Obfuscating Programs. In J. Kilian, editor, Advances in Cryptology -- CRYPTO '01, volume 2139 of Lectures Notes in Computer Science (LNCS), pages 1--18. SpringerVerlag, 2001. 43, 65
No context found.
B. Barak, O. Goldreich, R. Rudich, A. Sahai, S. Vadhan, and K.Yang. On the (im)possibility of obfuscating programs. In Crypto 2001.
No context found.
B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang. On the (im)possibility of obfuscating programs. In Proceedings of the 21st Annual International Cryptology Conference, pages 1--18, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC