Home › Researcher directory › Abir Bitat

Abir Bitat

Affiliation : Université Constantine 2

2Publications (affiliation in Algeria)
3Total publications
5Citations
1h-index

Research profile

Abir Bitat has 2 indexed publications (2018–2019). Their work appears mainly in “International Conference on Networking, Information Systems & Security (NISS)” and “International Conference on Pattern Analysis and Intelligent Systems (PAIS)”. Their most cited article, “Towards formal verification of cryptographic circuits: A functional approach” (2018), has been cited 3 times. Their work is co-authored with at least 2 researchers.

Is this you? Get your research seen

Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.

Create my free profile Add my publications

Research areas

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) · cited 1 times
Towards formal verification of cryptographic circuits: A functional approach
2018 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · cited 3 times

Publication venues

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

Publications per year

20191
20181

Co-authors

Bibliographic data from OpenAlex (open database).