L'Agence nationale de la recherche Des projets pour la science

Suivi bilanEditions 2013 et antérieuresSciences et Technologies de l'Information et de la CommunicationIngénierie Numérique & SécuritéProjets financés par éditionProjets financés en 2011

Edition 2013 et antérieures / Archives

Cette rubrique n'est plus actualisée. Pour connaître notre offre de financement, consultez la rubrique "Financer votre projet".

INS Ingénierie Numérique et Sécurité - 2011

AMORES – Architecture pour les systèmes résilients MObiles et ubiquitaiRES

ARDyT – Architecture Reconfigurable Dynamiquement Tolérante aux fautes

AstréeA – Analyse statique de logiciels temps-réel asynchrones embarqués

BLOC – Conception et analyse de chiffrements par blocs

COMPA – Conception Orientée Modèle de calcul pour multi-Processeurs Adaptables

DEFIS – Conception de systèmes embarqués utilisant l'arithmétique virgule fixe

KISS – Koffre-fort d’Informations personnelles Sûr et Sécurisé

LYRICS – Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact

MAGIC-SPS – Méthodes et Algorithmes Garantis pour le Contrôle d'Intégrité et la Surveillance Préventive des Systèmes

MARS – Systèmes embarqués fiables et faible consommation à base de Mémoires Magnétiques (MRAM)

Paral-ITP – Parallélisation des systèmes de preuve interactifs de haute fiabilité

REVER – Programmation de systèmes réversibles et sûrs

Robust FPGA – Conception d'un FPGA Tolérant aux Défauts

SACSO – Solutions pour l’auto-adaptation in-situ de systèmes communicants

VACSIM – Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle

VERASCO – Vérification formelle d'analyseurs statiques et de compilateurs

Revenir à la page précédente

Programmes "STIC"

  • INFRA (Infrastructures pour la société numérique)
  • INS (Ingénierie Numérique et Sécurité)
  • CONTINT (Contenus Numériques et Interactions)
  • MN (Modèles Numériques)
  • CHIST-ERA (Long-term CHallenges in Information and Communication Sciences and Technologies)