Résumé
L’obfuscation de logiciel vise à brouiller le code en langage machine du logiciel afin qu’il soit difficile à comprendre et à analyser. C’est une technique très utile pour la sécurité par l’obscurité. 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-elles été proposées dans la littérature. La conférencière a présenté un certain nombre de ces stratégies et étudié la correction sémantique des plus récentes.
