"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
Contenu
Catalogue
ULTv
Titre
"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
Auteur
Itsaka Rakotonirina
Date de création
2019
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).
Localisation URL
Numéro Dewey
000
384
Champ disciplinaire Dewey
Informatique
Communications, télécommunications
Mot-clé libre
développement informatique
traitement de données
sécurité des données
piratage
technologie
failles
utilisateurs
Producteur
Université de Lorraine
Date de production
mars 2019
Editeur
Université de Lorraine
Date de publication
28/03/2019
Accès - Droits
oui
Type de licence
CC BY-NC-SA
Coût
non
Type documentaire
Image animée
Niveau pédagogique
Bac
Licence
Master
Doctorat
Durée pédagogique ou d'exécution
00:03:32
Type de la ressource pédagogique
Conférence
Durée de la ressource
00:03:32
Langue du contenu
fr
Etat d'achêvement de la Ressource
final
Format de la ressource
mp4