C. Collberg, C. Thomborson, and E. D. Low, A Taxonomy of Obfuscation Transformation, 1997.

C. Collberg, C. Thomborson, and E. D. Low, 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

S. Riaud, Transformations de programmes pertinentes pour la sécurité du logiciel Bibliographie Master Recherche en Informatique, 2011.

X. Leroy, 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

X. Leroy, The CompCert compiler. Version 1.8, Septembre, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01399482

S. Blazy and X. Leroy, 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

G. Balakrishnan, T. Reps, D. Melski, and E. T. Teitelbaaum, WYSINWYX, ACM Transactions on Programming Languages and Systems, vol.32, issue.6, pp.202-213
DOI : 10.1145/1749608.1749612

H. Peter, Vliet Crema?The Java obfuscator, 1996.

M. Applications, Research Triangle Park, NC, ppcsupp@us .ibm.com Version : 1, 1998.

D. La-résilience, une transformation d'obfuscation [1]

T. Obfuscation-de, ) code source en langage C, (2) code assembleur compilé non obfusqué et (3) code assembleur compilé obfusqué, p.29

.. "-obfusqué, Arbre syntaxique de l'opération "et, p.35