Slicing obfuscations: Design, correctness, and evaluation

DRM'07 - Proceedings of the 2007 ACM Workshop on Digital Rights Management

Volumn , Issue , 2007, Pages 70-81

  Majumdar, Anirban ^a   Drape, Stephen J ^a   Thomborson, Clark D ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

digital rights management; obfuscation; program transformation; software security; static slicing

Indexed keywords

DIGITAL RIGHTS MANAGEMENT; OBFUSCATION; PROGRAM TRANSFORMATIONS; SOFTWARE SECURITY; STATIC SLICING;

REVERSE ENGINEERING; SOFTWARE ENGINEERING;

COPYRIGHTS;

EID: 58049162000     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1314276.1314290     Document Type: Conference Paper

References (25)

1. Business Software Alliance. Second annual BSA and IDC software piracy study, May 2005. Available from www.bsa.org/globalstudy/upload/2005-Global- Study-English.pdf.
2. Paul Anderson and Tim Teitelbaum. Software inspection using CodeSurfer. In Proceedings of the Workshop on Inspection in Software Engineering (WISE 2001), Paris, France, July 2001. IEEE Computer Society.
3. Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil P. Vadhan, and Ke Yang. On the (im)possibility of obfuscating programs. In Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology, pages 1-18. Springer-Verlag, 2001.
4. David Binkley and Mark Harman. An empirical study of predicate dependence levels and trends. In ICSE '03: Proceedings of the 25th International Conference on Software Engineering, pages 330-339, Washington, DC, USA, 2003. IEEE Computer Society.
5. David Binkley and Mark Harman. A large-scale empirical study of forward and backward static slice size and context sensitivity. In ICSM '03: Proceedings of the International Conference on Software Maintenance, pages 44-53, Washington, DC, USA, 2003. IEEE Computer Society.
6. Phillipe Biondi and Fabrice Desclaux. Silver needle in the Skype. Presentation at BlackHat Europe, March 2006. Available from www.blackhat.com/ html/bh-media-archives/bh-archives-2006.html.
7. Christian Collberg, Clark D. Thomborson, and Douglas Low. A taxonomy of obfuscating transformations. Technical Report 148, Department of Computer Science, University of Auckland, July 1997.
8. Christian Collberg, Clark D. Thomborson, and Douglas Low. Manufacturing cheap, resilient, and stealthy opaque constructs. In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 184-196, New York, NY, USA, 1998. ACM Press.
9. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, October 1991.
10. Willem-Paul de Roever and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998.
11. Stephen Drape. Obfuscation of Abstract Data-Types. DPhil thesis, Oxford University Computing Laboratory, 2004.
12. Stephen Drape, Oege de Moor, and Ganesh Sittampalam. Transforming the .NET Intermediate Language using Path Logic Programming. In Principles and Practice of Declarative Programming, pages 133-144. ACM Press, 2002.
13. Stephen Drape and Anirban Majumdar. Design and Evaluation of Slicing Obfuscations. Technical Report 311, University of Auckland, New Zealand, June 2007.
14. Stephen Drape, Anirban Majumdar, and Clark Thomborson. Slicing aided design of obfuscating transforms. In IEEE/ACIS ICIS 2007: In proceedings of the International Computing and Information Systems Conference (ICIS 2007), Melbourne, Australia, 2007. IEEE Computer Society.
15. Keith Brian Gallagher and James R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, 1991.
16. Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems (TOPLAS), 12(1):26-60, 1990. (Pubitemid 20660161)
17. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff. Kaveri: Delivering the Indus Java program slicer to Eclipse. In FASE, pages 269-272. Lecture Notes In Computer Science, SpringerVerlag, 2005.
18. Anirban Majumdar, Antoine Monsifrot, and Clark D. Thomborson. On evaluating obfuscatory strength of alias-based transforms using static analysis. In ADCOM 2006: Proceedings of the 14th International Conference on Advanced Computing and Communication (ADCOM 2006), Mangalore, India, 2006. IEEE Computer Society.
19. Anirban Majumdar, Clark D. Thomborson, and Stephen Drape. A survey of control-flow obfuscations. In Information Systems Security, Second International Conference, ICISS 2006, Kolkata, India, pages 353-356, December 2006.
20. Timothy M. Meyers and David Binkley. Slice-based cohesion metrics and software intervention. In WCRE '04: Proceedings of the 11th Working Conference on Reverse Engineering (WCRE'04), pages 256-265, Washington, DC, USA, 2004. IEEE Computer Society.
21. Linda M. Ott and Jeffrey J. Thuss. Slice based metrics for estimating cohesion. In Proceedings of the IEEE-CS International Software Metrics Symposium, pages 78-81, 1993.
22. Juergen Rilling and Tuomas Klemola. Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics. In IWPC '03: Proceedings of the 11th IEEE International Workshop on Program Comprehension, pages 115-124, Washington, DC, USA, 2003. IEEE Computer Society.
23. Nuno Santos, Pedro Pereira, and Luís Moura e Silva. A Generic DRM Framework for J2ME Applications. In Olli Pitkänen, editor, First International Mobile IPR Workshop: Rights Management of Information (MobileIPR), pages 53-66. Helsinki Institute for Information Tecnhology, August 2003.
24. Frank Tip. A survey of program slicing techniques. Technical Report CS-R9438, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1994.
25. Sharath K. Udupa, Saumya K. Debray, and Matias Madou. Deobfuscation: Reverse engineering obfuscated code. In WCRE '05: Proceedings of the 12th Working Conference on Reverse Engineering, pages 45-54, Washington, DC, USA, 2005. IEEE Computer Society.