Delayed and controlled failures in tamper-resistant software

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

Volumn 4437 LNCS, Issue , 2007, Pages 216-231

  Tan, Gang ^a   Chen, Yuqun ^b   Jakubowski, Mariusz H ^b  

^a BOSTON COLLEGE   (United States)

^b MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTRUSION DETECTION; NUMERICAL METHODS; PROBABILISTIC LOGICS; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS);

PROBABILISTIC FAILURES; RESPONSE SYSTEMS; TAMPER DETECTION; TAMPER-RESISTANT SOFTWARE (TRS);

COMPUTER SYSTEM RECOVERY;

EID: 38049096323     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74124-4_15     Document Type: Conference Paper

References (20)

1. Business Software Alliance and International Data Corporation. Annual BSA and IDC global software piracy study (2004-2006) http://www.bsa.org/globalstudy
2. Aucsmith, D.: Tamper resistant software: An implementation. In: First Information Hiding Workshop, pp. 317-333 (1996)
3. Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S., Yang, K.: On the (im)possibility of obfuscating programs. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 1-18. Springer, Heidelberg (2001)
4. Cerven, P.: Crackproof Your Software. No Starch Press, Inc. (2002)
5. Chang, H., Atallah, M.J.: Protecting software code by guards. In: Digital Rights Management Workshop, pp. 160-175 (2001)
6. Chen, Y., England, P., Peinado, M., Willman, B.: High assurance computing on open hardware architectures. Research Report MSR-TR-2003-20, Microsoft Research, Microsoft Corporation, Redmond, Washington, USA (March 2003)
7. Chen, Y., Venkatesan, R., Cary, M., Pang, R., Sinha, S., Jakubowski, M.H.: Oblivious hashing: A stealthy software integrity verification primitive. In: Information Hiding Workshop, pp. 400-414 (2002)
8. Chow, S., Gu, Y., Johnson, H., Zakharov, V.A.: An approach to the obfuscation of control-flow of sequential computer programs. In: Information Security, 4th International Conference, pp. 144-155 (2001)
9. Collberg, C., Thomborson, C., Low, D.: A taxonomy of obfuscating transformations. Technical Report 148, Department of Computer Science, University of Auckland (July 1997)
10. Collberg, C.S., Thomborson, C.D.: Watermarking, tamper-proofing, and obfuscation-tools for software protection. IEEE Trans. Software Eng. 28(8), 735-746 (2002)
11. Collberg, C.S., Thomborson, C.D., Low, D.: Manufacturing cheap, resilient, and stealthy opaque constructs. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 184-196 (1998)
12. Goldreich, O., Ostrovsky, R.: Software protection and simulation on oblivious RAMs. Journal of the ACM 43(3), 431-473 (1996)
13. Home, B., Matheson, L.R., Sheehan, C., Tarjan, R.E.: Dynamic self-checking techniques for improved tamper resistance. In: Digital Rights Management Workshop, pp. 141-159 (2001)
14. http://cdfreaks.com (2006)
15. 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)
16. Macrovision. FADE, SafeDisc and SafeDVD copy protection (2002)
17. Peinado, M., Chen, Y., England, P., Manferdelli, J.: NGSCB: A trusted open system. In: Wang, H., Pieprzyk, J., Varadharajan, V. (eds.) ACISP 2004. LNCS, vol. 3108, pp. 86-97. Springer, Heidelberg (2004)
18. Pyle, I.C., McLatchie, R.C.F., Grandage, B.: A second-order bug with delayed effect. Software - Practice and Experience 1(3), 231-233 (1971)
19. Wang, C., Hill, J., Knight, J., Davidson, J.: Software tamper resistance: Obstructing static analysis of programs. Technical Report CS-2000-12, University of Virginia (December 2000)
20. Wee, H.: On obfuscating point functions. Cryptology ePrint Archive, Report 2005 /001 (2005) http://eprint.iacr.org/