Vidéothèque de l'UL - 180 Lionel Seinturier - Steve Krémer

Self-adaptation for distributed services and large scale systems.

New challenges in automated verification of security protocols: anonymity and untrusted platforms.

Ajouté par : Lionel Maurice
Mis à jour le : 31 juillet 2015 00:00
Type : Colloques et Conférences
Langue principale : Français
Discipline(s) :
- Informatique
- Sciences de la nature et Mathématiques

Recevez des notifications pour des événements spécifiques (lorsque l’encodage d’une de vos vidéos est terminé).