"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
March 28, 2019
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).
Infos
- Eric Dupal
-
- Catherine Flauder
- Etienne Haouy
- April 9, 2019, midnight
- Événements
- French
