| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- HABIB Lionel :
“Formalisations et comparaisons de politiques et de systèmes de sécurité”,
supervision Thérèse HARDIN,
defence 06/16/2011. - AYRAULT Philippe : “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”,
supervision Thérèse HARDIN,
defence 04/22/2011.
- BLOND Julien : “Outil pour implémentation de logiciels certifiables EAL7”,
supervision Thérèse HARDIN,
defence 11/30/2010.
- NOYER Yves : “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”,
supervision Renaud RIOBOO,
defence 09/28/2010.
- JAEGER Éric : “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”,
supervision Thérèse HARDIN,
defence 03/08/2010.
- MORISSET Charles : “Sémantique des systèmes de contrôle d'accès”,
supervision Thérèse HARDIN,
defence 09/24/2007.
- BONICHON Richard : “Pas de titre”,
supervision Thérèse HARDIN,
defence 12/01/2006.
- MANDEL Louis : “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”,
supervision Marc POUZET,
defence 05/22/2006.
- FECHTER Stéphane : “Sémantique des traits orientés objet de Focal”,
supervision Thérèse HARDIN,
defence 07/18/2005.