Projets financés
Générateurs de code pour les fonctions mathématiques et les filtres – MetaLibm
Ce projet s'attaque d'abord à l'implémentation des fonctions élémentaires (exponentielle, logarithme, fonctions trigonométriques). La bibliothèque mathématique standard (libm) offre un petit nombre de telles fonctions, pour un petit choix de précisions. Sa performance est critique pour un grand nomb
Runtime Code Generation to Secure Devices – COGITO
Ce projet concerne l'axe thématique 1, "Sécurité et sûreté des systèmes numériques". Considérant que le reverse engineering de code et le vol de données sensibles sont aujourd'hui les plus grandes menaces pour les composants sécurisés, COGITO propose une solution innovante qui met en perspective l'u
THEorie du Contrôle Appliquée à la Synchronisation des CommunicAtions DiscrEtes – THE CASCADE
L'objectif du projet THE CASCADE est de proposer de nouvelles architectures autosynchronisatntes pour le chiffrement. Un schéma de chiffrement autosynchronisant peut être considéré comme une communication maitre - esclave entre deux systèmes dynamiques. Pour qu'un système dynamique puisse être cand
Amélioration, évaluation et certification de la résistance de systèmes biométriques face aux leurres – BIOFENCE
L'évaluation et la certification de la résistance au leurrage est l'un des enjeux majeurs concernant les technologies de la biométrie dans leur mise en oeuvre actuelle et future. Les solutions biométriques basés sur les empreintes digitales entrent dans notre vie quotidienne, mais des nouvelles tech
Méthodes ALgèbriques pour la vérification de modèles Temporisés et HYbrides – MALTHY
Des systèmes informatiques complexes sont désormais embarqués dans presque toutes les machines que nous utilisons quotidiennement pour nous déplacer (voiture, trains, avions), pour travailler ou pour communiquer (téléphones portables). Actuellement, ces systèmes sont toujours conçus puis validés pa
Gestion logicielle et matérielle de la sécurité des données pour des plateformes manycore – TSUNAMY
Le projet TSUNAMY adresse la problématique de la manipulation sécurisée des données personnelles et privées au sein d’architectures manycore. Les enjeux économiques et sociétaux associés sont nombreux dans la mesure où ce type d’architecture sera massivement déployé à l’avenir aussi bien dans des in
Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve. – IMPEX
Les systèmes logiciels évoluent et s'exécutent dans un environnement ou contexte. Raisonner sur la correction de leur comportement repose sur une relation ternaire entre les modèles de besoins, de systèmes et de contexte. Les méthodes formelles offrent des outils (automatiques) pour la synthèse et l