14 avr 2022
11:15 - 12:15
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles

Intervenant(s)

Sandrine Blazy
URL de la vidéo

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.