Projects

DeSSUF

DeSSUF means “A Methodology for the Design of a Safe, Secure and User-Friendly Reactive Programming Language for the Internet of Things”.

In the Internet of Things (IoT), billions of devices are connected. Very often, these devices are programmed with the C programming language, mostly because of the limited hardware resources of such objects. However, C is error-prone, and software bugs make devices both unreliable and vulnerable to cyber-attacks. Several cases of massive cyber-attacks using IoT devices are documented. Moreover, the IoT is more and more deployed in areas such as energy, transportation and health: it is of paramount importance such systems are reliable, safe and secure. The goal of the DeSSUF project is the design, implementation, and the evaluation of the safety, security and ease-of-use of a new programming language for the IoT.

This is a joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia both members of the Athena European University.

https://dessuf.github.io/

SIOMEDIC

SIOMediC is a project of INSA Centre Val de Loire and Université d’Orléans, funded by Région Centre Val de Loire.

Digital health and in particular Connected Medical Devices (CMD) are experiencing rapid growth. Unfortunately, the numerous and recurring vulnerabilities of these devices present major confidentiality problems for medical data and significant dangers for the physical integrity of individuals. Our work aims to make DMCs safer (free from software bugs) and more secure (resistant to external attacks). We want to propose new protocols for interconnecting DMCs in their environment (hospital or domestic) and access control models, adapted to these different uses (often wireless). The goal is then to protect the DMCs from external attacks. We also want to be able to provide guarantees that neither the codes (programs) embedded on the DMCs, nor the protocols and protection mechanisms that we add to them, present any vulnerabilities. The main deliverables will be reusable software components.

https://siomedic.github.io/


Static Analysis of BSP Programs

In cooperation with Huawei we have conducted research on the static analysis of imperative BSP (Bulk Synchronous Paradigm) programs.  The result of this parternship can be found in Arvid Jakobsson Phd Thesis https://tel.archives-ouvertes.fr/tel-02920363