Sites Inria

Il y a 4 Résultats avec le mot clé : "TAMIS"

sécurité

Securité numérique

Vérifier la sécurité des échanges de clés

Jean-Michel Prima - 23/05/2017

Membres du Pôle d'excellence cyber (PEC), Thales Communications & Security et le centre Inria Rennes - Bretagne Atlantique entament une collaboration pour réaliser la vérification formelle d'une implémentation d'IKEv2. Ce protocole d'échange de clés de chiffrement constitue l'un des mécanismes essentiels pour établir des communications sécurisées sur le réseau IP.  Explications. 

Mots-clés :

Accueil > Centre > Rennes > Actualités > Vérifier la sécurité des échanges de clés

Lire la suite

sécurité

Partenariat

Protéger l'interface entre matériel et logiciel

Jean-Michel Prima (*) - 29/08/2017

Quand un système se compose à la fois d'éléments matériels et logiciels, la frontière risque d'être suffisamment poreuse pour qu'un virus tente de s'y faufiler. Le centre Inria Rennes – Bretagne Atlantique débute une collaboration avec Secure-IC , une entreprise spécialisée dans la protection des systèmes embarqués contre les attaques cyberphysiques. Objectif de ce partenariat : explorer des méthodes innovantes pour mieux détecter les vulnérabilités potentielles à cet endroit crucial.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Protéger l'interface entre matériel et logiciel

Lire la suite

Cubes du jeu Datagramme : données et malware © Inria / Photo G. Scagnelli

Partenariat

Inria et Cisco partenaires contre les malwares

Jean-Michel Prima (*) - 30/11/2017

Basée au centre Inria Rennes – Bretagne Atlantique, l'équipe de recherche Tamis est spécialisée en sécurité. Elle débute une collaboration avec Cisco Systems , le leader mondial des technologies de l'information. Objectif : élaborer une méthode innovante pour repérer, à l'exécution, les logiciels malveillants dissimulés dans le code informatique.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Inria et Cisco partenaires contre les malwares

Lire la suite

Olivier Zendra

Europe - Recherche

Maîtriser les propriétés non fonctionnelles des logiciels : énergie, temps, sécurité

Jean-Michel Prima - 11/09/2018

Consortium européen coordonné par Inria et financé par le programme de l'UE H2020 , TeamPlay étudie de nouvelles techniques pour permettre aux développeurs de mieux appréhender l'énergie, le temps d'exécution, la sécurité et d'autres propriétés non fonctionnelles quand ils conçoivent des logiciels, notamment parallèles. Comme l'explique Olivier Zendra, coordinateur du projet, cette recherche devrait avoir un impact sur différents secteurs industriels. Les résultats seront évalués à travers des cas d'usages fournis par des industriels de la cybersécurité, de la vision par ordinateur, des drones et des satellites.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Maîtriser les propriétés non fonctionnelles des logiciels : énergie, temps, sécurité

Lire la suite

Haut de page

Suivez Inria