Informations

Pour vous aider, les différents types d’enrichissements ont des couleurs spécifiques :

Image
Document
Texte riche
Lien web
Intégrer

Ils sont visibles sur la barre de lecture de la vidéo.

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Types

Partager sur Mastodon

Veuillez indiquer l’adresse de votre instance Mastodon :

Se souvenir de l’instance

Jannik Dreier : Mon ERC en 180" : Tools for automated symbolic security proofs

20 décembre 2017

Durée : 00:04:11

Nombre de vues 27

Nombre d’ajouts dans une liste de lecture 1

Nombre de favoris 0

Mots clés :

Infos

Ajouté par : David Maze
Ajouté le : 25 janvier 2018 00:00
Type : Colloques et Conférences
Langue principale : Français
Discipline(s) :
- Informatique
- Technologies

Téléchargements

Intégrer/Partager

Réseaux sociaux

Options

Lecture automatique

Cocher cette case pour lancer la lecture automatiquement.

Boucle

Cocher cette case pour lire la vidéo en boucle.

Personnaliser le début de la vidéo Démarrer à

Cocher la case pour indiquer le début de lecture souhaité.

Intégrer dans une page web

Utilisez un code d’intégration pour afficher la vidéo dans une page web.

Copiez le contenu de cette boîte de texte et collez-le sur votre page :

<iframe src="https://ultv.univ-lorraine.fr/video/6535-jannik-dreier-mon-erc-en-180-tools-for-automated-symbolic-security-proofs/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen title="Jannik Dreier : Mon ERC en 180" : Tools for automated symbolic security proofs" ></iframe>

Partager le lien

En partageant un lien, vous permettez à d’autres personnes de visionner la vidéo.

Utiliser ce lien pour partager la vidéo :

QR code pour ce lien :