avant cela j'ai effectué ma these sous la direction de Thomas Genet et Thomas Jensen

dans l'équipe lande à l' Irisa

Adresse

Irisa
Projet Lande
Campus de Beaulieu
F-35042 Rennes Cedex

Email

valerie.viet_triem_tong_at_irisa.fr

Téléphone

+33 (0) 2 99 84 75 87

Je m'interesse à la démonstration automatique en générale et à la vérification de protocole cryptographiques en particulier.

Mots clés:

méthodes formelles, vérification, protocoles cryptographiques, automates d'arbre, réécriture, non-théorèmes...