Multithreading-based Coverification Technique of HW/SW Systems. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PDPTA, 1999)

Sequential and Distributed Simulations Using Java Threads. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PARELEC, 2000)

Concurrent Hardware/Software Coverification with Java Threads. - Mostafa Azizi (PARELEC, 2002)

Security Oriented Analysis of B92 by Model Checking. - Mohamed Elboukhari; Abdelmalek Azizi; Mostafa Azizi (NTMS, 2008)

Modeling and Analysis of a Real-Time System Using the Networks of Extended Petri. - Mohammed Blej; Mostafa Azizi (J. Comput., 2009)

Improving the Security of CHAP Protocol by Quantum Cryptography. - Mohamed Elboukhari; Mostafa Azizi; Abdelmalek Azizi (IDC, 2010)

Analysis of the Security of BB84 by Model Checking - Mohamed Elboukhari; Mostafa Azizi; Abdelmalek Azizi (CoRR, 2010)

Instances of Arabic Cryptography in Morocco. - Abdelmalek Azizi; Mostafa Azizi (Cryptologia, 2011)

Detection of smart card attacks using neural networks. - Ilhame El Farissi; Mostafa Azizi; Mimoun Moussaoui (ICMCS, 2012)

QDGRP : A hybrid QoS Distributed Genetic routing protocol for Wireless Sensor Networks. - Mohammed-Amine Koulali; Abdellatif Kobbane; Mohammed El Koutbi; Mostafa Azizi (ICMCS, 2012)

Modeling Embedded Systems with SysML. - Noura Ouerdi; M'hammed Ziane; Abdelmalek Azizi; Mostafa Azizi (ICMCS, 2012)

QGRP: A Novel QoS-Geographic Routing Protocol for Multimedia Wireless Sensor Networks - Mohammed-Amine Koulali; Mohammed El Koutbi; Abdellatif Kobbane; Mostafa Azizi (CoRR, 2012)

Instances of Arabic Cryptography in Morocco II. - Abdelmalek Azizi; Mostafa Azizi (Cryptologia, 2013)

Ferry-based architecture for Participatory Sensing. - Sara Koulali; Essaid Sabir; Abdellatif Kobbane; Mostafa Azizi (IWCMC, 2014)

Mobile robot unknown indoor environment exploration using self-localization and grid map building. - Mohamed Emharraf; Mohammed Rahmoun; Mohammed Saber; Mostafa Azizi (SITA, 2014)

Side channel analysis techniques towards a methodology for reverse engineering of Java Card byte-code. - Mohammed Amine Kasmi; Mostafa Azizi; Jean-Louis Lanet (IAS, 2015)

Artificial neural network-based methodology for vulnerabilities detection in EMV cards. - Noura Ouerdi; Ilhame El Farissi; Abdelmalek Azizi; Mostafa Azizi (IAS, 2015)

Integration of a quantum protocol for mutual authentication and secret key distribution within 802.11i standard. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallegue (AICCSA, 2015)

Integration of a quantum authenticated key distribution scheme in the EAP-TLS protocol. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallegue (AICCSA, 2015)

Integration and formal security analysis of a quantum key distribution scheme within CHAP protocol. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallegue (AICCSA, 2015)

Q-OpenVPN: A New Extension of OpenVPN Based on a Quantum Scheme for Authentication and Key Distribution. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallegue (CANS, 2015)

Energy optimization through duty cycling scheduling in mobile social networks: A non-cooperative game theory approach. - Sara Koulali; Essaid Sabir; Mostafa Azizi (NOMS, 2016)

Optimal Beaconing Policy for Tactical Unmanned Aerial Vehicles. - Sara Koulali; Mostafa Azizi; Essaïd Sabir; Rim Koulali (UNet, 2016)

A green strategic activity scheduling for UAV networks: A sub-modular game perspective. - Sara Koulali; Essaid Sabir; Tarik Taleb; Mostafa Azizi (IEEE Commun. Mag., 2016)

EXPEL Protocol Based Architecture for Cooperative E-Learning. - Karima Aissaoui; El Hassane Ettifouri; Mostafa Azizi (Int. J. Emerg. Technol. Learn., 2016)

Upgrade of a quantum scheme for authentication and key distribution along with a formal verification based on model checking technique. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallègue (Secur. Commun. Networks, 2016)

El-Security: E-learning Systems Security Checker Plug-in. - Karima Aissaoui; Mostafa Azizi (BDCA, 2017)

Enhancing the Security of IEEE 802.11i Standard by Integrating a Quantum Scheme for Authentication and Encryption Key Distribution. - Aymen Ghilen; Mostafa Azizi; Ridha Bouallegue (Wirel. Pers. Commun., 2017)

Taxonomy on IoT Technologies for Designing Smart Systems. - Mohamed El Beqqal; Mostafa Azizi (Int. J. Interact. Mob. Technol., 2018)

A Novel Approach for an Interoperable Biometric Verification. - Mohamed El Beqqal; Mostafa Azizi; Jean-Louis Lanet (Int. J. Interact. Mob. Technol., 2018)

Integration of a quantum scheme for key distribution and authentication within EAP-TLS protocol. - Aymen Ghilen; Mostafa Azizi (Int. J. Inf. Commun. Technol., 2019)

Teaching Pedigree Analysis and Risk Calculation for Diagnosis Purposes of Genetic Disease. - Noureddine Kerzazi; Mariam Tajir; Redouane Boulouiz; Mohammed Bellaoui; Mostafa Azizi (WorldCIST (1), 2020)

Measurement-based methodology for modelling the energy consumption of mobile devices. - Khalil Ibrahim Hamzaoui; Mohammed Berrajaa; Mostafa Azizi; Giuseppe Lipari; Pierre Boulet (Int. J. Reason. based Intell. Syst., 2020)

Scientific Applications in the Cloud: Resource Optimisation based on Metaheuristics. - Anas Mokhtari; Mostafa Azizi; Mohammed Gabli (Scalable Comput. Pract. Exp., 2020)

Unsupervised Clustering for 5G Network Planning Assisted by Real Data. - M. Umar Khan; Mostafa Azizi; Ana García Armada; José Joaquín Escudero Garzás (IEEE Access, 2022)

Log Data Integrity Solution based on Blockchain Technology and IPFS. - Yassine Azizi; Mostafa Azizi; Mohamed Elboukhari (Int. J. Interact. Mob. Technol., 2022)

Artificial Intelligence Techniques in Medical Imaging: A Systematic Review. - Abdellah Azizi; Mostafa Azizi; M'barek Nasri (Int. J. Online Biomed. Eng., 2023)

DAPIS: A Secure Proxy Re-encryption Protocol for Delegated Authentication and Privacy Management. - Abdou-Essamad Jabri; Cyril Drocourt; Mostafa Azizi; Gil Utard (NTMS, 2025)