Abir BITAT
(+213) 553 22 31 53
Details
| 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) |
| PhD thesis in progress |
|---|
|
Abir Bitat
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle. Université Constantine 2, Algérie |
No module to display.
No PhD student to display.
No training period to display.
No software to display.