الرئيسية › دليل الباحثين › Abir Bitat

Abir Bitat

الانتماء : Université Constantine 2

• 2منشورات (انتماء جزائري)
• 3مجموع المنشورات
• 5الاستشهادات
• 1مؤشر h

OpenAlex

مجالات البحث

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

المنشورات (2)

• Formal verification of cryptographic circuits
  2019 · International Conference on Networking, Information Systems & Security (NISS) · استُشهد به 1 مرة
• Towards formal verification of cryptographic circuits: A functional approach
  2018 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · استُشهد به 3 مرة

مجلات النشر

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

المنشورات حسب السنة

• 20191
• 20181

المؤلفون المشاركون

• Salah Merniz
• Salah Merniz

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).