Environnement pour l'analyse de sécurité d'objets communicants / Florian Lugou ; sous
la direction de Ludovic Apvrille et Aurélien Francillon. Thèse de doctorat : Informatique
: Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
Vérification des protocoles cryptographiques et propriétés algébriques / Stéphanie
Delaune, 2006 [Thèse]