AnaStaSec

(publicly available)

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

(restricted access)

deliverables meeting materials

AnaStaSec: project participants

Static Analysis for Security Properties.


Participants

  1. INRIA Paris-Rocquencourt
  2. Airbus Operations SAS
      • David Delmas (Engineer)
  3. AMOSSYS
      • Frédéric Guihéry (Engineer)
      • Goulven Guiheux (Engineer)
      • Dimitri Kirchner (Engineer)
  4. CEA LIST
  5. INRIA Rennes - Bretagne Atlantique
  6. TrustInSoft
      • Benjamin Monate (CTO)
      • Pascal Cuoq (CSO)
      • Fabrice Derepas (CEO)