| Etablissement | Université de Constantine 2 - Abdelhamid Mehri |
| Affiliation | Département De L’informatique Fondamentale Et Ses Applications |
| Auteur | BITAT, Abir |
| Directeur de thèse | MERNIZ Salah (Maitre de conférence) |
| Filière | Mathématiques et Informatique |
| Diplôme | Doctorat LMD |
| Titre | Méthodologie devérification formelle pour les circuits cryptographiques :approche fonctionnelle |
| Statut | Signalé |