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 :
Edito : L'IA réinvente le vivant...et les médicaments
CAMPAGNE de DONS Total des dons reçus depuis le début de la campagne : 5.622,00 € = 89,95 % Objectif à atteindre en cette cinquième semaine de la campagne de dons : 6.250,00 € Cette cinquième ...
Les skyrmions pourraient décupler la vitesse des ordinateurs
Selon une étude du CNRS, les ordinateurs de demain pourraient aller 10 fois plus vite grâce aux skyrmions. Ces recherches menées par le scientifique Olivier Boulle montrent comment les skyrmions ...
De nouvelles puces photoniques au service de l'IA
Les puces actuelles sont gourmandes en énergie et la consommation des grands modèles d’IA se chiffre actuellement en mégawattheures. De nouvelles puces exploitant l’interaction de la lumière avec la ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :
