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 outil d’IA permet de détecter plus rapidement les incendies
En 2022, 72 000 hectares ont brûlé en France. Neuf feux sur dix sont d’origine humaine (chantiers de BTP, activités agricoles, câbles électriques, mégots de cigarettes, barbecues, incendies de ...
Edito : L'IA va-t-elle dépasser l'intelligence humaine ?
APPEL aux DONS : IL VA ETRE TRES DIFFICILE D'ATTEINDRE NOTRE OBJECTIF... En cette fin d'année 2023, nous nous retrouvons dans une situation singulière. Toutes les organisations bienfaitrices ...
Une puce neuromorphique pour détecter les anomalies cardiaques
Le CEA-Leti et le Centre de nanosciences et de nanotechnologies ont conçu une puce neuromorphique embarquant une IA bayésienne, capable de détecter et de classifier des anomalies cardiaques. Le ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :