AnaStaSec: project participants
|
Static Analysis for Security Properties.
Participants
- INRIA Paris
- project-team Antique:
Jérôme Feret (CR1, INRIA)- Antoine Miné (CR1, CNRS)
- Xavier Rival (CR1, INRIA)
- Mehdi Bouaziz (PhD student)
- Marc Chevalier (PhD student)
- Yves-Stan Le Cornec (Researcher - Engineer)
- project-team Prosecco:
Bruno Blanchet (DR2, INRIA)
- Airbus Operations SAS
David Delmas (Engineer)- Sarah
- AMOSSYS
- Cédric Berthion (Engineer)
Frédéric Guihéry (Engineer)- Goulven Guiheux (Engineer)
- Dimitri Kirchner (Engineer)
- CEA LIST
- LSL lab
Gergö Barany (Post-doc) Florent Kirchner (Head of the lab)- Julien Signoles (Researcher - Engineer)
- INRIA Rennes - Bretagne Atlantique
- project-team Celtique
Frédéric Besson (CR1, INRIA)- Sandrine Blazy (Prof. Rennes 1)
- Colas Le Guernic (Collaborator INRIA)
- TrustInSoft
Benjamin Monate (CTO)- Pascal Cuoq (CSO)
- Fabrice Derepas (CEO)
