Semantic-based code obfuscation by abstract interpretation

Lecture Notes in Computer Science

Volumn 3580, Issue , 2005, Pages 1325-1336

  Preda, Mila Dalla ^a   Giacobazzi, Roberto ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

Abstract Interpretation; Code Obfuscation; Program Transformation; Semantics

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

ABSTRACT INTERPRETATION; CODE OBFUSCATION; SEMANTIC-BASED CODES;

COMPUTER SCIENCE;

EID: 26444541676     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. B. Barak, O. Goldreich, R. Impagliazzo, and S. Rudich. On the (Im)possibility of Obfuscating Programs. In Advances in Cryptology, Proc. of Crypto'01, 2001, volume 2139 of LNCS, pages 1-18. Springer-Verlag.
2. C. Collberg and C. Thomborson. Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection. In IEEE Trans. Software Eng., pages 735-746, 2002.
3. S. Chandrasekharan and S. Debray. Deobfuscation: Improving Reverse Engineering of Obfuscated Code. Draft, 2005.
4. C. Collberg and C. Thomborson. Breaking Abstractions and Unstructural Data Structures. In Proc. of the 1994 IEEE Internat. Conf. on Computer Languages (ICCL '98), pages 28-37, 1998.
5. C. Collberg, C. Thomborson, and D. Low. A Taxonomy of Obfuscating Transformations. Technical Report 148, Dept. of Computer Science, The Univ. of Auckland, 1997.
6. C. Collberg, C. Thomborson, and D. Low. Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL '98), pages 184-196. ACM Press, 1998.
7. A. Cortesi, G. Filé, R. Giacobazzi, C. Palamidessi, and F. Ranzato. Complementation in abstract interpretation. In ACM Trans. Program. Lang. Syst., 19(1):7-47, 1997.
8. P. Cousot. Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. PhD Thesis, Université Scientifique et Médicale de Grenoble, Grenoble, France. 1978.
9. P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science, 277(1-2) :47-103, 2002.
10. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symp. on Principles of Programming Languages (POPL '77), pages 238-252. ACM Press, New York, 1977.
11. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the 6th ACM Symp. on Principles of Programming Languages (POPL '79), pages 269-282. ACM Press, New York, 1979.
12. P. Cousot and R. Cousot. Systematic Design of Program Transformation Frameworks by Abstract Interpretation. In Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 178-190, New York, NY, 2002. ACM Press.
13. P: Cousot and R: Cousot. An Abstract Interpretation-Based Framework for Software Watermarking. Conference Record of the Thirtyfirst Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 173-185. ACM Press, New York, NY, 2004.
14. L. D'Anna, B. Matt, A. Reisse, T. Van Vleck, S. Schwab, and P. LeBlanc. Self-Protecting Mobile Agents Obfuscation Report. Technical report, Network Associates Laboratory, 2003.
15. G. Filé and F. Ranzato. Complementation of abstract domains made easy. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP '96), pages 348-362. The MIT Press,Cambridge, Mass., 1996.
16. R. Giacobazzi, F. Ranzato, and F. Scozzari. Making abstract interpretations complete. J. of the ACM., 47(2):361-416, 2000.
17. J. Morgado. Some results on the closure operators of partially ordered sets. Portug. Math., 19(2):101-139, 1960.
18. R. Paige. Future directions in program transformations. In ACM SIGPLAN Not., volume 32, pages 94-97, 1997.