Abir BITAT
(+213) 553 22 31 53
Détails
| Publications |
|---|
|
Abir Bitat; Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS"18): 1-6 (2018) |
| Thèse de doctorat en cours |
|---|
|
Abir Bitat
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle. Université Constantine 2, Algérie |
Aucun module à afficher.
Aucun doctorant à afficher.
Aucun stage à afficher.
Aucun logiciel à afficher.