A team of 3 students from the Université d’Orléans and Université de Tours will work on the formal verification of Contiki-NG modules with Frama-C in the context of DiLLXP experience (Digital Learning Lab eXpérience Pédagogique)
Author: lmvadm
[Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.
[Mar. 2022] Computer Languages for the Internet of Things (Special issue of Journal of Computer Languages)
[Mar. 2022] Florian Groult joined LMV on a research engineer position
[Feb. 2022] DeSSUF project : new joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia (43k€, funded in the context of the Athena European University, http://www.athenaeuropeanuniversity.eu).
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.
[Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”
[Dec. 2021] SIOMEDIC Project 2022-2023 (99k€, funded by Région Centre Val de Loire).
SIOMediC: Sécurité de l’Internet des Objets Médicaux Connectés / Security of the Internet of Medical Things