Teaching and Supervising
Logique Mathématique (Fr)
Cours
Logique des prédicats - Synatxe
Logique des prédicats - Sémantique
Sécurité Informatique (Fr)
Cours
Les menaces informatiques
Sécurité du réseau
Séries de TD
Quiz
Mini-Projet
Teaching
At Mohamed Boudiaf University of M'sila (since 2011)
Computer Security - Sécurité Informatique (Course and TD, 3th level, SI) Link
Mathematical Logic - Logique mathématique (Course and TD, 2nd level) Link
Research Documentary - Recherche Documentaire (Course, Phd students) Download
Web Application Security (Course and TP, Master 2 GL)
Cryptography and Number Theory (Course and TD, Master 1 SIA)
Networking Security (Course, TD and TP, Master 1 Networking)
Oriented Object Programming (TP, 2nd level)
Data Bases (TD and TP, 2nd level)
Programming C and Algorithms (TD and TP, 1st level MI)
Web Technology (TP, 1st level MI)
Supervising
Current Ph.D. Students
Bouchra Rekia Louassef, Privacy preservation in healthcare Internet of Things.
Anwar Eddine Bahache, Security of health applications in the Internet of Things environment.
Boubakeur Moussaoui, Performance and security of communication protocols in vehicular ad hoc network (VANET).
Sellami Benaissi, Contribution au développement d’une méthode hybride pour le cryptage d’image numérique.
Master theses
S.I. Laguegue, N. Cheikhaoui, Lightweght Authentication Scheme For Patient Monitoring Based On Post-quantum Cryptography, 2022.
A. Bachiri, A. Lemounes, Authentication Scheme using RFID for Healthcare Applications, 2022.
L. Tallab, Security Techniques for Protecting Patient Data in Healthcare Applications, 2021.
H. Seghiri, R. Belguidoum, Development of a Secure Messaging App for Android Mobile, 2021.
F.E. Chennouf, S. Kouidri, Sécurité des données médicales en appliquant le tatouage numérique, 2020.
W. Doucene, Etude comparative entre la PKI conventionnelle et la PKI basée sur la blockchain, 2019.
B. Chenane, Chiffrement des vidéos numériques, 2019.
M. Herizi, Simulation des Algorithmes Cryptographiques Basés sur les Courbes Elliptiques en Cooja Contiki, 2018.
A. Ghadbane, Benchmarking study of post-quantum schemes in smartphones, 2018.
C. Gherabi, Détection des spams se basant sur les techniques de classification, 2018.
S. Djeblahi, Spécification et vérification des protocoles d’authentification NFC, 2017.
I. Sarir, Conception et implémentation d’un système d’authentification basé sur les codes QR, 2017.
S. Ladgham Chikouche, Sécurisation des données par les techniques sténographiques, 2017.
L. Boussag, Implementation and simulation of security protocols for wireless sensor networks (WSNs), 2017.
A. Abdelmalek Ghehioueche, Implémentation des primitives cryptographiques dans les réseaux de capteurs sans fil, 2016.
M. Radjai, Preventing SQL Injection attacks using cryptographic techniques, 2016.
A. Taibi, Conception d'un outil de simulation des protocoles de distance bornée des systèmes RFID, 2014.
A. Brahimi, Implémentation des cryptosystèmes basés sur les codes correcteurs d'erreurs, 2014.
W. Hamoudi, Sécurisation des images numériques, 2013.
O. Zerouga, Vérification automatique des protocoles de sécurité, 2013.
W. Tayoub, Implementation of public-key cryptosystems on Android mobiles, 2013.
BSc theses
A. Khodja, A. S. Benhamidouche, Conception et réalisation d'une Application Web Mobile de Tourisme Etude de Cas: Wilaya de M'SILA, 2015.
F. Lahrache, K. Fathi, S. Trabelsi, Conception et réalisation d'un système d'information pour la gestion d'assurance automobile, étude de cas "CAAR M'SILA", 2014.
N. Medjnah, C. Yahyaoui, Conception et réalisation d'un site web dynamique pour la gestion des locaux pédagogiques, 2014.
H. Lahrache, S. Mira, Conception et développement d'une application mobile " transport- M'sila ", 2013.
K. Chemini, S. Bahache, Conception et développement d'une application mobile pour la gestion du système d'information de service pédagogique, 2013.