CNRS Funded Project

Safety and Security
Assurance for Critical
IoT Systems

In the domain of the Internet of Things (IoT), we are witnessing a notable trend characterized by the proliferation of cost-effective connected devices. However, the adoption of energy-efficient protocols introduces potential vulnerabilities.

To address these challenges, ACIS-IoT couples unexpected events and detected threats with original systems through refinement techniques, enabling sophisticated attack mitigation schemes.

CNRS Research
Security Verification
Scalable Architecture

Research Team

Abdelhakim Baouya

Abdelhakim Baouya

Project Leader

ACM Member

Brahim Hamid

Prof. Brahim Hamid

Advisor

IRIT

Levent Gürgen

Dr. Levent Gürgen

Industry Partner

Kentyou Company

Saddek Bensalem

Prof. Saddek Bensalem

Advisor

Univ. Grenoble Alpes

Project Deliverables

Official reports and technical documentation.

ID Date Title Access
D2 December 2023 CNRS Research Project Final Report PDF
D1 January 2023 CNRS Research Project Progress Report PDF

Invited Talks

Seminars and conference presentations.

ID Date Title & Context Download
I1 July 2023
Rigorous Design of Component-based Architecture: Research Activities
Abdelhakim Baouya • ECE Department, Concordia University, Montreal, CANADA
PDF

Selected Publications