Section: Overall Objectives

Highlights of the year

• Winner of the Oseo prize in the category Emergence of the project of malware detector based on morphological analysis. The current implementation is validated with large scale experiments.

• Opening of the High Security lab (LHS), see http://lhs.loria.fr/

• Survey in the Journal TOCL [18] on sup-interpretation methods to analyze program resources

• With code instrumentation, thanks to PIN and TraceSurfer, we are able to deal with packed malware [31] .

• We propose a fined grained stratification to characterize small complexity classes with a diagonalisation method to separate classes [17] .