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

Translate this page in english

Effectuer une recherche dans les résumés des projets financés :

 

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