AnaStaSec

Static Analysis for Security Properties.

---

AnaStaSec is a four years ANR project, that is supported by the ANR (French national research agency).
The project has started January 1^st, 2015, and will last until December 30^th, 2018.

---

Main goal

This project will allow for the formal verification of security properties of software-intensive embedded systems, using automatic static analysis techniques at different levels of representation: models, source and binary codes.

---

Coordinator contact detail

    Jérôme FERET
    École normale supérieure
    Département d'informatique
    45 rue d'Ulm
    F-75230 Paris cedex 05 (France)
    tel: +33 1 44 32 37 66
    fax: +33 1 44 32 21 51
    email: jerome.feret@ens.fr
    URL: http://www.di.ens.fr/~feret

Partners

• INRIA Paris-Rocquencourt
• Airbus Operations SAS
• AMOSSYS
• CEA LIST
• INRIA Rennes - Bretagne Atlantique
• TrustInSoft

---

Jérôme Feret, Last modified: 10 Jun 2015, 09:20:56 CEST