Semantic-based code obfuscation by abstract interpretation
作者： Mila Dalla Preda , Roberto Giacobazzi
DOI: 10.1007/11523468_107
关键词: Program transformation 、 Constant (computer programming) 、 Computer science 、 Abstract interpretation 、 Obfuscation (software) 、 Semantics (computer science) 、 Theoretical computer science 、 Programming language
摘要: In this paper we introduce a semantic-based approach for code obfuscation. The aim of obfuscation is to prevent malicious users disclose properties the original source program. This goal can be precisely modeled by abstract interpretation, where hiding corresponds semantics. We derive general theory based on potency measured comparing hidden in lattice interpretations. Semantic-based applied show that well known program transformation methods, such as constant propagation, seen
springer.com
core.ac.uk
springerlink.com参考文章(15)
Francesco Ranzato, Gilberto Filé, Complementation of Abstract Domains made Easy. JICSLP. pp. 348- 362 ,(1996)
Christian Collberg, Douglas Low, C. Thomborson, A Taxonomy of Obfuscating Transformations Department of Computer Science, The University of Auckland, New Zealand. ,(1997)
C. Collberg, C. Thomborson, D. Low, Breaking abstractions and unstructuring data structures international conference on computational logistics. pp. 28- 38 ,(1998) , 10.1109/ICCL.1998.674154
Patrick Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation Theoretical Computer Science. ,vol. 277, pp. 47- 103 ,(2002) , 10.1016/S0304-3975(00)00313-3
Agostino Cortesi, Gilberto Filé, Francesco Ranzato, Roberto Giacobazzi, Catuscia Palamidessi, Complementation in abstract interpretation ACM Transactions on Programming Languages and Systems. ,vol. 19, pp. 7- 47 ,(1997) , 10.1145/239912.239914
Patrick Cousot, Radhia Cousot, Systematic design of program transformation frameworks by abstract interpretation Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02. ,vol. 37, pp. 178- 190 ,(2002) , 10.1145/503272.503290
Patrick Cousot, Radhia Cousot, Systematic design of program analysis frameworks symposium on principles of programming languages. pp. 269- 282 ,(1979) , 10.1145/567752.567778
R. Paige, Future directions in program transformations Sigplan Notices. ,vol. 32, pp. 94- 98 ,(1997) , 10.1145/251595.251609
Patrick Cousot, Radhia Cousot, Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. pp. 238- 252 ,(1977) , 10.1145/512950.512973
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari, Making abstract interpretations complete Journal of the ACM. ,vol. 47, pp. 361- 416 ,(2000) , 10.1145/333979.333989