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 - Coordinateur

1 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