Projets financés
– PAMPA
– LISE
– FME3
convergence du contrôle de FLux et d'Usage dans les Organisations – FLUOR
Biométrie Faciale Utilisant les Visages 3D – FAR3D
Contraintes et abstraction pour la vérification des programmes – CAVERN
Analyse formelle de protocoles de vote électronique – AVOTE
Normalisation d'attaque pour la certification du système d'empreintes digitales – ASFIP
– SOS
Vérification Approchée Probabiliste – VERAP
– SFINCS
– SEQURE
– SCALP
– RFIDAP