Laboratoire d'Informatique de Grenoble

This lecture is a general introduction to computer malware analysis. Malware analysis is closely related to low-level program analysis and constitutes a great challenge. The goal is to reconstruct an higher-level semantics of a given low-level program and then to understand its behavior from different components and their interactions. The difficulty is that quasi-all information is given by a sequence of bytes coming from an obfuscated source program. The lecture will contend that fields of programming languages, formal methods and Machine Learning have much to offer to malware analysis.

Jean-Yves Marion est directeur du Loria, Laboratoire Lorrain de Recherche en Informatique et ses Applications, commun au CNRS, à Inria et à l’Université de Lorraine, depuis 2013. Professeur à l’Université de Lorraine depuis 2002, il enseigne à l ’École Nationale Supérieure des Mines de Nancy (ENSMN) ses recherches portent sur l’analyse des malwares. Il contribue largement au laboratoire de haute sécurité LHS qui a été inauguré en 2010. Jean-Yves Marion a soutenu sa thèse d’informatique à l’Université Paris Diderot en 1991. Il a affecté deux ans de post-doctorat à l’Université de l’Indiana. Il est aujourd’hui membre de l’Institut Universitaire de France.