On the concept of software obfuscation in computer security

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4779 LNCS, Issue , 2007, Pages 281-298

  Kuzurin, Nikolay ^a   Shokurov, Alexander ^a   Varnovsky, Nikolay ^b   Zakharov, Vladimir ^b  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

^b MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

Encryption; Program obfuscation; Security; Turing machine

Indexed keywords

CRYPTOGRAPHY; INFORMATION ANALYSIS; MATHEMATICAL TRANSFORMATIONS; SECURITY OF DATA; SEMANTIC WEB;

PROGRAM OBFUSCATION; SOFTWARE PROTECTION;

COMPUTER SOFTWARE;

EID: 38149067514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75496-1_19     Document Type: Conference Paper

References (32)

1. Aucsmith, D.: Tamper resistant software: an implementation. In: Anderson, R. (ed.) Information Hiding. LNCS, vol. 1174, pp. 317-333. Springer, Heidelberg (1996)
2. Arboit, G.: A method for watermarking java programs via opaque predicates. 5-th International Conference on Electronic Commerce Research (2002)
3. Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S., Yang, K.: On the (im)possibility of obfuscating programs. In: Kilián, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 1-18. Springer, Heidelberg (2001)
4. Bhatkar, S., DuVarney, D.C., Sekar, R.: Efficient techniques for comprehensive protection from memory error exploits. USENIX Security (2005)
5. Canetti, R.: Towards realizing random oracles: hash functions that hide all partial information. In: Kaliski Jr., B.S. (ed.) CRYPTO 1997. LNCS, vol. 1294, pp. 455-469. Springer, Heidelberg (1997)
6. Canetti, R., Micciancio D.D., Reingold, O: Perfectly one-way probabilistic hash functions. 30-th ACM Symposium on Theory of Computing, 131-140 (1998)
7. Chess, D., White, S.: An undetectable computer virus. In: 2000 Virus Bulletin Conference (2000)
8. Chow, S., Gu, Y., Johnson, H., Zakharov, V.: An approach to obfuscation of control-flow of sequential programs. In: Wilhelm, R. (ed.) Informatics. LNCS, vol. 2000, pp. 144-155. Springer, Heidelberg (2001)
9. Cohen, F.: Operating system protection through program evolution. Computers and Security 12(6), 565-584 (1993)
10. Collberg, C., Thomborson, C., Low, D.: A Taxonomy of Obfuscating Transformations. Tech. Report, N 148, Univ. of Auckland (1997)
11. Collberg, C., Thomborson, C., Low, D., Collberg, C., Thomborson, C., Low, D.: Manufacturing cheap, resilient and stealthy opaque constructs. In: Symposium on Principles of Programming Languages, pp. 184-196 (1998)
12. Collberg, C., Thomborson, C.: Watermarking, Tamper-Proofing, and Obfuscation - Tools for Software Protection. IEEE Transactions on Software Engineering 28(6) (2002)
13. Dalla Preda, M., Giacobazzi, R.: Semantic-based code obfuscation by abstract interpretation. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1325-1336. Springer, Heidelberg (2005)
14. D'Anna, L., Matt, B., Reisse, A., Van Vleck, T., Schwab, S., LeBlanc, P.: Self- Protecting Mobile Agents Obfuscation Report, Report #03-015, Network Associates Laboratories (June 2003)
15. Diffie, W., Hellman, M.: New directions in cryptography. IEEE Transactions om Information Theory IT-22(6), 644-654 (1976)
16. Dodis, Y., Smith, A.: Correcting errors without leaking partial informtion. 37-th ACM Symposium on Theory of Computing, 654-663 (2005)
17. Goldreich, O., Levin, L: A hard-core predicate to any one-way function. 21-th ACM Symposium on Theory of Computing, 210-217 (1989)
18. Goldwasser, S., Tauman Kalai, Y.: On the impossibility of obfuscation with auxiliary input. 46-th IEEE Symposium on Foundations of Computer Science, 553-562 (2005)
19. Goldwasser, S., Rothblum, G.N.: On best possible obfuction. In: Vadhan, S.P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 194-213. Springer, Heidelberg (2007)
20. Hada, S.: Zero-knowledge and code obfuscation. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol. 1976, pp. 443-457. Springer, Heidelberg (2000)
21. Hohl, F.: Time limited blackbox security: protecting mobile agents from malicious hosts. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol. 1419, pp. 92-113. Springer, Heidelberg (1998)
22. Hofheinz, D., Malone-Lee, J., Stam, M.: Obfuscation for cryptographic purpose. In: Vadhan, S.P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 214-232. Springer, Heidelberg (2007)
23. Linn, C., Debray, S.: Obfuscation of executable code to improve resistance to static disassambly. In: 10-th ACM Conference on Computer and Communication Security, pp. 290-299 (2003)
24. Lynn, B., Prabhakaran, M., Sahai, A.: Positive results and techniques for obfuscation. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 20-39. Springer, Heidelberg (2004)
25. Ogiso, T., Sakabe, Y., Soshi, M., Miyaji, A.: Software obfuscation on a theoretical basis and its implementation. IEEE Trans. Fundamentals E86-A(1) (2003)
26. Ostrovsky, R., Skeith, W.E.: Private searching on streaming data. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol. 3621, pp. 223-240. Springer, Heidelberg (2005)
27. Szor, P., Ferrie, P.: Hunting for metamorphic. In: 2001 Virus Bulletin Conference, pp. 123-144 (2001)
28. Valiant, L.: A theory of learnable. Communications of the ACM 27(11), 1134-1142 (1984)
29. Varnovsky, N.P., Zakharov, V.A.: On the possibility of provably secure obfuscating programs. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 91-102. Springer, Heidelberg (2004)
30. Varnovsky, N.P.: A note on the concept of obfuscation. In: Proceedings of Institute for System Programming, Moscow, vol. 6, pp. 127-137 (2004)
31. Wang, C., Davidson, J., Hill, J., Knight, J.: Protection of software-based survivability mechanisms. In: International Conference of Dependable Systems and Networks (2001)
32. Wee, H.: On obfuscating point functions. In: 37-th Symposium on Theory of Computing, pp. 523-532 (2005)