Section: Partnerships and Cooperations

National Initiatives

ANR

• Emmanuel Jeandel is a member of ANR Blanche ANR-09-BLAN-0164 (EMC: Emerging Phenomena in Computation Models).

• We obtained an ANR project called Binsec which will start in 2013. The aim of the BINSEC project is to fill part of the gap between formal methods over executable code on one side, and binary-level security analyses currently used in the security industry. We target two main applicative domains: vulnerability analysis and virus detection. Two other closely related applications will also be investigated: crash analysis and program deobfuscation.