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 2012

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 & Sécurité - 2012

BINSEC – Analyse de code binaire pour la sécurité

BioPriv – Conception de systèmes biométriques pour le contrôle d’accès : application d’une démarche systématique de « Privacy by Design »

BWare – Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B

CAFEIN – Combinaison d'approches formelles pour l'étude d'invariants numériques

E-MATA HARI – Analyse électromagnétique, déchiffrement et ingénierie inverse de circuits intégrés

GeMoC – Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles

HOPE – Hierarchically Organized Power/Energy management

IRIS – Rétine intelligente intégrant des traitements innovants.

LIESSE – Effets laser et fautes sur les circuits intégrés dédiés à la sécurité

SESAME – Solutions et Etudes de Sécurité Appliquées à la Mémoire magnétiquE

SIMPATIC – SIM et théorie des couplages pour la sécurité de l'information et des communications

TEMOP – TEchnologie Mécatronique pour Organe de Pilotage

W-SEPT – WCET: SEmantique, Précision, Traçabilité

WiNoCoD – Réseau sur puce basé sur des interconnexions RF reconfigurable à la demande

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)