| Projet | Titre | Responsable |
| Asphalès | Droit
et Sécurité[pdf1][pdf2] |
Frédéric
Duflot, Gaylord Bauden-Hamerel |
| Behaviour | Vision
et
apprentissage statistique pour la reconnaissance du comportement humain [pdf] |
Franck
Davoine |
| BIO_MUL | Biométrie Multimodale [pdf] |
Jean-François
Bonastre |
| CASC | Contrôle d'accès sécurisés à des données confidentielles[pdf] |
Luc Bouganim |
| Chronos | Horodatage
sécurisé des documents électroniques [pdf] |
Alban
Gabillon |
| Constructif | Constructif [pdf] |
Michèle
Basseville |
| DADDi | Dependable
Anomaly Detection with Diagnosis [pdf] |
Ludovic
Mé |
| EDEMOI | Modélisation
de la sécurité des aéroports |
Yves
Ledru |
| GECCOO | GECCOO [pdf] | Christine Paulin |
| KAA | Modélisation
et gestion de la confiance dans les réseaux spontanés [pdf] |
Marine Minier |
| Mars | Matériel robuste pour systèmes sûrs [pdf] | Régis Leveugle |
| Metrosec | Metrology for Securing QoS [pdf] | Philippe
Owezarski |
| Modulogic | Toward a formal library of access control policies | Thérèse
Hardin |
| POTESTAT | Politiques
de sécurité: test et analyse par le test de
systèmes en réseau ouvert [pdf] |
Roland Groz |
| Surepaths | Perfect simulation of index based routing queueing networks [pdf] | J.M.
Vincent |
| Surepaths | Bounding
steady state and transient dependability measures through algorithmic stochastic comparison [pdf] |
Jean-Michel
Fourneau |
| Tadorne | WATERMILL : protecting ownership of sales databases [pdf] | Julien Lafaye, David Gross-Amblard |
| V3F | Validation et Vérification en présence de calculs à Virgule Flottante [pdf] | Michel
Rueher |