Ressource pédagogique : "Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
Mots-clés :
- développement informatique
- traitement de données
- sécurité des données
- piratage
- Technologie
- failles
- utilisateurs
Date de création : 2019
Auteur(s) : Itsaka Rakotonirina
Présentation de: "Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
Informations pratiques sur cette ressource
Langue du document : Français
Durée d'apprentissage : 00:03:32
Durée d'exécution : 00:03:32
Contenu : Image animée
Document : mp4
Droits d'auteur : pas libre de droits, gratuit
CC BY-NC-SA
CC BY-NC-SA
Description de la ressource pédagogique
Description (résumé)
Nombre d’objets du quotidien contiennent des données sensibles, et communiquent à distance avec d’autres appareils. Les mathématiques aident à révéler les failles de ces systèmes, afin que les utilisateurs leur fassent confiance. Itsaka Rakotonirina présente ainsi la problématique de sa thèse "Vérification efficace d'équivalences observationnelles dans les protocoles cryptographiques" lors de l'édition 2019 du concours "Ma thèse en 180 secondes". Il mène alors ses recherches au sein du Laboratoire lorrain de recherche en informatique et ses applications - LORIA (CNRS, INRIA, Université de Lorraine).
"Domaine(s)" et indice(s) Dewey
- Informatique (000)
- Communications, télécommunications (384)
Thème(s)
Intervenants, édition et diffusion
Intervenants
Contributeur(s) : Université de Lorraine
Éditeur(s)
- Université de Lorraine
Diffusion
-
Productions_UL
Voir toutes les ressources pédagogiques
ÉDITION
Université de Lorraine
EN SAVOIR PLUS
-
Identifiant
oai:produl-omeka.univ-lorraine.fr:582 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
Productions_UL -
Date de publication
0028