Liste de projets sélectionné (par ordre alphabétique)
Projets initialisés en septembre 2005
| Nom | Intitulé | Responsable |
| AMAES | Méthodes avancées pour les systèmes autonomes et embarqués | Bensalem SADDEK |
| ARROWS | Structure de données avec pointeurs sûres : une approche déclarative de leur spécification et de leur analyse | Rachid ECHAHED |
| BGRP | Sécurité et tolérance aux fautes pour exploiter le calcul ambient sûr dans des environnements large échelle | Christophe CERI |
| CLADIS | Conception multi-couche pour améliorer la sécurité dans les réseaux mobiles ad-hoc | Jabel BEN-OTHMAN |
| CompCert | Certification formelle de compilateurs optimisants pour logiciel embarqué critique | Xavier LEROY |
| CONTROVERT | Vérifacation des systèmes de contrôle | Patrick COUSOT |
| Cops | Composition de politiques et de services | Philippe BALBIANI |
| CrySCoE | Cryptographie pour la sécurité des codes embarqués | Louis GOUBIN |
| FORMACRYPT | Preuves formelles et sémantiques probabiliste en cryptographi | Bruno BLANCHET |
| MoDyFiable | Modularité dynamique fiable | Tom HIRSCHOWITZ |
| NUGET | Générateurs de nombres | Patrick SOLÉ |
| OVERSOC | Méthodologie de validation et exploration des interactions entre les OS et les systèmes sur puce reconfigurables | Jean-Christophe PRÉVOTET |
| REVE | Réutilisation sûre de composants embarqués dans des environnements hétérogènes | Lionel SEINTURIER |
| SAFE | Fpga sécurisé asynchrone pour les systèmes embarqué | Marc RENAUDIN |
| Safe_NECS | Conception coordonnée des systèmes tolérants aux fautes contrôlées en réseaux | Dominique SAUTER |
| SafeCode | Développement de composants "sûr de fonctionneemnt" | Jean-Louis BOULANGER |
| SARAH | Services distribués Asynchrones pour Réseaux Ad Hoc | Frédéric GUIDEC |
| SOGEA | Sécurité des jeux, équilinres et algorithmes répartis | Olivier BOURNEZ |
| TSAR | Transfert sécurisé d'images d'art haute résolution | Jean-Pierre GUEDON |
| Virus | Virus | Jean-Yves MARION |
la décision de financement de ces projets est conditionné par lmes résultats de l'analyse fiancière des éventuels partenaires privés et par la fourniture pour chaque partenaire du projet des informations administratives et financiéres nécéssaires.
Liste complémentaire
Titre du projet - Coordinateur1 Nebbiano : Sécurité et Fiabilité du Tatouage Numérique - Teddy FURON
2 ACROBATYC : spécificatoin par Assemblage de Composants pRouvés cOmpatibles à partir d'une modélisation des Besoins pour les systèmes A fortes exigences sécuriTaires - application au cYCab - Jeanine SOUQUIÈRES
3 FACOMA : Fiabilisation adaptative d'applications coopératives multi-agents - Jacques MALENFANT
4 ReSam : Modèles,architectures,protocoles et mécasnimes pour la concetion et la gestion des réseuax de services ambiants - Patrick SÉNAC
5 VERSICOM : Vérification de la sécurité de composants intégrés - Danièle BEAUQUIER
La décision de financement, pour ces projets, ne pourra survenir qu'en cas d'abandon de financement de projets dans la liste des projets sélectionnés.
La liste des projets définitivement financés par l'ANR sera rendue publique au terme de l'instruction administrative et financière
