National thesis
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Université Ibn Khaldoun
Defence date: 29-03-2013
Supervisor
HITRANE Mohammed