Abir BITAT
Former member
ResearchGate DBLP LinkedIn
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