tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Code HTML : Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
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
Nom de fichier :
Inria-1054_RII_Cybersecurite_Prosecco.mp4
Année :
Titre :
RII : cybersécurité. Programmation sécurisée avec cryptographie (équipe-projet Prosecco)
Mots clés :
Centre de recherche (w) :
Equipe-Projet (www) :
Auteur scientifique :
Auteur réalisateur :
Inria-1054_RII_Cybersecurite_Prosecco.mp4

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

Format : .mp4
10,1 Mo
480 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
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