(publicly available)

presentation summary objectives and scientific challenges scientific program meetings and affiliated events participants publications

(restricted access)

deliverables meeting materials


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 1st, 2015, and will last until December 30th, 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