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 :
Un oxyde de fer abondant trace la voie d'une informatique durable
En 2023, des chercheurs de l'EPFL avaient réussi à envoyer et stocker des données en utilisant des ondes magnétiques sans charge, appelées ondes de spin, plutôt que des flux d’électrons ...
Le Japon veut se doter d’un supercalculateur zettaflopique pour 2030
Le Japon possède actuellement le quatrième supercalculateur le plus puissant au monde, d'après le classement Top500, grâce à Fugaku. Classé en première position mondiale lors de son lancement en ...
Edito : Apprenons à bien utiliser l'IA (Intelligence Artificielle) pour éviter qu'elle ne nous utilise...
Chers lecteurs, Comme chaque été, notre petite équipe (Monique, Mark et moi-même) se met au vert pendant le mois d'aout.Vous retrouverez votre revue RTFlash, avec notre lettre de rentrée du 5 ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :
