Accueil › Annuaire des chercheurs › Abir Bitat

Abir Bitat

Affiliation : Université Constantine 2

2Publications (affiliation algérienne)
3Publications au total
5Citations
1Indice h

Profil de recherche

Abir Bitat compte 2 publications référencées (2018–2019). Ses travaux paraissent principalement dans « International Conference on Networking, Information Systems & Security (NISS) » et « International Conference on Pattern Analysis and Intelligent Systems (PAIS) ». Son article le plus cité, « Towards formal verification of cryptographic circuits: A functional approach » (2018), a été cité 3 fois. Ses travaux sont cosignés avec au moins 2 chercheurs.

C’est vous ? Faites connaître vos travaux

Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.

Créer mon profil gratuit Ajouter mes publications

Domaines de recherche

Formal Methods in Verification
Cryptographic Implementations and Security
Logic, programming, and type systems
Embedded Systems Design Techniques
Physical Unclonable Functions (PUFs) and Hardware Security

Publications (2)

Formal verification of cryptographic circuits
2019 · International Conference on Networking, Information Systems & Security (NISS) · cité 1 fois
Towards formal verification of cryptographic circuits: A functional approach
2018 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · cité 3 fois

Revues de publication

International Conference on Networking, Information Systems & Security (NISS) × 1
International Conference on Pattern Analysis and Intelligent Systems (PAIS) × 1

Publications par année

20191
20181

Co-auteurs

Données bibliographiques issues d’OpenAlex (base ouverte).