TIC
- Information et Communication
- Informatique
Des logiciels pour doper les cartes à puce
- Tweeter
-
-
0 avis :
Trusted Logic, nouvelle société de technologie issue de l'INRIA a été créée en janvier. Elle devra répondre aux besoins d'une nouvelle génération de cartes à puces permettant la coopération de plusieurs types d'applications. Les problèmes de sécurité et de tailles liées au téléchargement des applications seront les défis essentiels à relever. Les travaux de recherche de l'INRIA sur les algorithmes de preuve formelle seront appliqués aux tests logiciels et des logiciels de cryptographie seront embarqués. L'introduction d'une machine virtuelle dans les puces visera à réduire leur taille par deux, voire quatre. Trusted Logic est le fruit de la collaboration engagée il y a trois ans entre Bull et l'INRIA dans le GIE Dyade pour travailler sur la protection des systèmes embarqués et des transactions sur Internet.
INRIA http://www.inria.fr/INedit/part20b-fra.html
Noter cet article :
Vous serez certainement intéressé par ces articles :
Stocker l’équivalent de 1 000 ordinateurs dans un simple brin d’ADN
Des chercheurs américains de l'université de Caroline-du-Nord ont présenté un système qui permet à la fois de stocker et de traiter de l'information en utilisant de l’ADN. Il se base sur des ...
Stocker des informations plusieurs milliers d'années sur un support verre-céramique
Cerabyte, une start-up allemande, vient de présenter une solution de stockage de données qui se veut révolutionnaire. Le système, encore au stade de prototype, est basé sur une architecture faite de ...
Reactome : un outil d'IA révolutionnaire pour accélérer la conception de nouvelles molécules
Les chercheurs ont développé une plate-forme qui combine des expériences automatisées avec l’IA pour prédire comment les produits chimiques réagiront les uns avec les autres, ce qui pourrait ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :
