A Taxonomy of Obfuscation Transformation, 1997. ,
Abstractions and Unstructuring Data Structures, ICCL, pp.28-38, 1998. ,
DOI : 10.1109/iccl.1998.674154
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9817
Transformations de programmes pertinentes pour la sécurité du logiciel Bibliographie Master Recherche en Informatique, 2011. ,
Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, 2009. ,
DOI : 10.1145/1538788.1538814
URL : https://hal.archives-ouvertes.fr/inria-00415861
The CompCert compiler. Version 1.8, Septembre, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01399482
Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, 2009. ,
DOI : 10.1007/s10817-009-9148-3
URL : https://hal.archives-ouvertes.fr/inria-00352524
WYSINWYX, ACM Transactions on Programming Languages and Systems, vol.32, issue.6, pp.202-213 ,
DOI : 10.1145/1749608.1749612
Vliet Crema?The Java obfuscator, 1996. ,
Research Triangle Park, NC, ppcsupp@us .ibm.com Version : 1, 1998. ,
une transformation d'obfuscation [1] ,
) code source en langage C, (2) code assembleur compilé non obfusqué et (3) code assembleur compilé obfusqué, p.29 ,
Arbre syntaxique de l'opération "et, p.35 ,