"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
28 mars 2019Nombre 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).
Mots clés : developpement informatique failles piratage securite des donnees technologie traitement de donnees utilisateurs
Informations
- Eric Dupal
- 9 avril 2019 00:00
- Événements
- Français