Vérification de protocoles cryptographiques en présence de théories équationnelles
/ Pascal Lafourcade ; sous la direction de Ralf Treinen et Denis Lugiez, 2006. Thèse
de doctorat : Informatique : Cachan, École normale supérieure : 2006
http://id.loc.gov/authorities/names/nb2012003983, 2025-05-07
Information trouvée : Lafourcade, Pascal
http://sancy.iut.uca.fr/~lafourcade/, 2025-05-07
Information trouvée : Informaticien. Professeur des universités, co-responsable du Thème Réseaux et sécurité,
Laboratoire d'informatique, de modélisation et d'optimisation des systèmes (LIMOS,
UMR 6158), Université Clermont Auvergne
https://sancy.iut.uca.fr/~lafourcade/DIVERS/Lafourcade_CNRS_Slides_2007.pdf (2025-03-17)
Information trouvée : Naissance : 26 avril 1977
https://theses.hal.science/tel-00807568v1, 2025-05-07
Information trouvée : Habilitation à diriger des recherches en informatique (Grenoble, 2012)