<iframe src="https://ultv.univ-lorraine.fr/video/5087-verification-efficace-dequivalences-observationnelles-dans-les-protocoles-cryptographies-par-itsaka-rakotonirina-mt180s-2019/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen loading='lazy'></iframe>
"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019
Vidéothèque de l'UL
https://ultv.univ-lorraine.fr/videos/?owner=dupal5
360
https://ultv.univ-lorraine.fr
video
640
1.0
Eric Dupal