https://produl-omeka.univ-lorraine.fr fr 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). développement informatique traitement de données sécurité des données piratage technologie failles utilisateurs LOMFRv1.0 Image animée LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:4.0 FN:Itsaka Rakotonirina END:VCARD 2019 LOMv1.0 publisher BEGIN:VCARD VERSION:4.0 FN:Université de Lorraine END:VCARD 28/03/2019 LOMFRv1.0 contributeur BEGIN:VCARD VERSION:4.0 FN:Université de Lorraine END:VCARD mars 2019 https://produl-omeka.univ-lorraine.fr https://produl-omeka.univ-lorraine.fr/api/items/582 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 FRE mp4 https://ultv.univ-lorraine.fr/video/5087-itsaka-rakotonirina-verification-efficace-dequivalences-observationnelles-dans-les-protocoles-cryptographiques/ 00:03:32 00:03:32 LOMv1.0 no LOMv1.0 yes CC BY-NC-SA LOMv1.0 discipline CDD 22e éd. DDC 22nd ed 000 Informatique LOMv1.0 discipline CDD 22e éd. DDC 22nd ed 384 Communications, télécommunications