tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
RII : cybersécurité. Programmation sécurisée avec cryptographie (équipe-projet Prosecco)
Légende - Résumé :
RII à Nancy : cybersécurité, nouvelles technologies pour la protection des données et des systèmes numériques.
Jean-Karim Zinzindohoué de l'équipe-projet Prosecco : programmation sécurisée avec cryptographie. HACL* une bibliothèque cryptographique rapide et formellement vérifiée, sûre, correcte et sans canaux cachés.
Une bibliothèque cryptographique rapide et formellement vérifiée sûre, correcte et sans canaux cachés. Nous présentons HACL*, une bibliothèque cryptographique écrite en F* et compilée vers C. La vérification en F* garantit que le code source est sûr (memory-safe), fonctionnellement correct ainsi que l'absence de dépassements d'entiers et de certains types de fuite d'information par canaux cachés. La compilation s'appuie sur Kremlin, un compilateur de F* vers C, et une preuve formelle de la correction de cette transformation, et sur CompCert, un compilateur C vérifié. Nous illustrons l'usage de cette bibliothèque à travers une application de transfert de fichiers et une implémentation de référence de TLS.
Nom de fichier :
Inria-1054_RII_Cybersecurite_Prosecco.mp4
Titre :
RII : cybersécurité. Programmation sécurisée avec cryptographie (équipe-projet Prosecco)
Année :
2017
Durée (min) :
00:02:10
Publications :
https://videotheque.inria.fr/videotheque/doc/1054
Autres versions :
Master VF : 1054
Master VEN :
Autre : Lien externe :
Lien Equipe-projet :
Lien Centre de Recherche :
Mots clés :
N° master :
1054
Durée :
02 min 10 sec
IsyTag :
- - C' - contre - cryptographie - cryptographiques - différent - Prosecco - qu' - sécurité - web
Transcription automatiqu :
l'0.24 L'équipe Prosecco développe une expertise en prototypes cryptographiques et en vérification de programmes pour contribuer à sécuriser les applications et les périphériques matériels C'est Jean-Karim Zinzindohoué qui nous présente HACL* une bibliothèque de primitifs cryptographiques alliant sûreté et sécurité Dans l'aspect sûreté on va chercher simplement à se prémunir contre l'apparition de bugs j'ai envie de dire classiques Donc ça c'est quelque chose qu'on sait faire maintenant Et donc on a du code pour lequel on prouve que quel que soit l'environnement dans lequel il s'exécute il peut pas enfin quel que soit y'a des limites mais il ne peut pas y avoir de bug et on ne va pas avoir de crash du programme Ensuite l'aspect sécurité ça va être de montrer que même si un attaquant essaye de récupérer de l'information par des canaux cachés on va quand même avoir des façons de se prémunir contre une partie de ces vecteurs d'attaque - Donc les implications de cette librairie ça va être tout ce qui fait le coeur de métier de Prosecco Ca va depuis les protocoles cryptographiques jusqu'à tout ce qui est applications web navigation web et l'internet des objets qui a des besoins très importants d'une crypto vérifiée c'est difficile à mettre à jour Et l'avantage c'est qu'on peut faire du code qui est à la fois sûr et très très compact et donc ça s'intègre très bien dans ces nouveaux objets connectés Le travail qu'on fait s'inscrit en ce moment aussi dans un projet qu'on fait en collaboration avec Microsoft Recherche qui s'appelle le projet Everest et dont le but c'est de faire toute la pile https sécurisée Donc ça commence par la cryptographie tout en bas ensuite par dessus la cryptographie vous avez la vérification du protocole et puis ultimement le navigateur web et les différentes applications les différents services web qui vont pouvoir eux utiliser ça Donc pas juste le navigateur mais jusqu'à Skype jusqu'à des applis de messagerie enfin ça peut être très très vaste -
Inria-1054_RII_Cybersecurite_Prosecco.mp4

Format : .mp4
164,7 Mo
1920 x 1080 pixels
Inria-1054_RII_Cybersecu_HD.MP4

Format : .mp4
79,9 Mo
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection