Résumé
L'obfuscation de logiciel apparaît comme un atout précieux pour la sécurité par l'obscurité. Elle vise à brouiller le code en langage machine, afin qu’il soit difficile à comprendre et à analyser. Ce brouillage peut être effectué à différents niveaux et s’applique à des programmes n'ayant pas été conçus avec des objectifs de sécurité. Aussi, de nombreuses stratégies de brouillage ont été proposées dans la littérature. Cet exposé présentera quelques-unes d’entre elles, et étudiera la correction sémantique des plus récentes.
