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 :
L'ordinateur traditionnel n'a pas dit son dernier mot face à l'ordinateur quantique
L’informatique quantique est une technologie qui a le potentiel de révolutionner divers domaines en résolvant des problèmes complexes plus rapidement et plus efficacement que les ordinateurs ...
Novadiscovery et les HCL prédisent les résultats d’un essai clinique de phase III grâce à l’IA
C'est une première mondiale : à l'occasion de la Conférence Mondiale sur le Cancer du Poumon 2023 (World Conference on Lung Cancer, International Association for the Study of Lung Cancer), les HCL ...
Comment l'IA aide à détecter le plastique dans les océans
Notre société est fortement tributaire des produits en plastique et la quantité de déchets plastiques devrait augmenter à l'avenir. S'ils ne sont pas correctement jetés ou recyclés, une grande ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :