Summary: In the domain of the Internet of Things (IoT), we are witnessing a notable trend characterized by the proliferation of cost-effective connected devices tailored for specific domains. However, the adoption of energy-efficient protocols for low-cost communication introduces potential vulnerabilities that compromise the quality of service. Moreover, IoT applications must accommodate high scalability to meet diverse user feature requirements. Unfortunately, during system execution, unforeseen threats and errors may arise that were not accounted for during the modeling phase. In order to address these challenges, it becomes necessary to couple unexpected events and detected threats with original systems through refinement or composition techniques. This enables the construction of more sophisticated attack mitigation schemes that enhance both security and scalability in IoT applications.

The project is funded by the National Center for Scientific Research (CNRS).

Project Leader:

Abdelhakim Baouya, ACM Member [email: abdelhakim.baouya@irit.fr]

Advisors:

Professor Brahim Hamid [email: brahim.hamid@irit.fr]

Professor Saddek Bensalem [email: saddek.bensalem@univ-grenoble-alpes.fr]

Deliverables
ID	Date	Title	Download
D1	January 2023	CNRS Research Project	[Download]
D2	December 2023	CNRS Research Project - Final Deliverable	[Download]
Publications
ID	Date	Title	Link
J1	July 2024	Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, and Saddek Bensalem. Security Risk Assessment of the RabbitMQ Protocol through Concurrent Stochastic Games.. In Internet of Things, Elsevier, IF=6.0	[Link]
J2	January 2025	Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, and Saddek Bensalem Modeling and Analysis of Data Corruption Attacks and Energy Consumption Effects on Edge Servers using Concurrent Stochastic Games. In Soft Computing, Springer , IF=3.1 (In press).	[Link]
J3	January 2025	Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed, and Saddek Bensalem Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. In Ad Hoc Networks, Elsevier , IF=4.4 (In press).	[Link]
Invited Talks
ID	Date	Title	Download
I1	July 2023	Abdelhakim Baouya Rigorous Design of Component-based Architecture: Research Activities In ECE Department Concordia University, Montreal, CANADA	[Download]