Acélération  Adressage calculé  Analyse de terminaison  Analyse d’atteignabilite  Analyse formelle de concepts  Anonymat  Argent électronique  Assistants de preuve  Authentification  Automates a compteurs  Automates d'arbre  BIP  Certification  Chiffrement  Clôture transitive  Composants  Contrôle de flux d'information  Coq  Coq  Correct-par-construction  Cryptographie  Cryptographie Prouvable  Examens  Exponentiation modulaire  Infrastructures à clés publiques  Interconnexion de réseaux  La confidentialité  La réputation électronique  La vérifiabilité  La vérification de l’exécution  La vérification formelle  Logiciels -- Vérification  MarQ  Mesures de sûreté  Model checking régulier  Modèle calculatoire  Modèle computationnel  Modèle de Diffie-Hellman  Modèle de Dolev-Yao  Modèle symbolique  Modèle à taille de mémoire borné  Méthodes formelles  Méthodes formelles  Pointeurs  Preuve  Priorités  ProVerif  Programmes entiers  Protocol  Protocoles Cryptographiques  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  QEA  Route validité  Réseaux de communication  Résistance aux intrusions  Saisie des données  Signatures électroniques  Structures de données  Système distribué  Systèmes de Chiffrement  Systèmes distribués  Systèmes à base de composants  Sécurité  Tas  Vente aux enchères  Vote  Vérification  Vérification de Preuves  Vérification formelle  

Yassine Lakhnech a dirigé les 11 thèses suivantes :

Informatique
Soutenue le 12-01-2012
Thèse soutenue


Yassine Lakhnech a été président de jury de la thèse suivante :


Yassine Lakhnech a été membre de jury de la thèse suivante :