Les publications

du GDR

Call for papers: DETECT 2019 and JSA SI

======================================================================= The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT 2019) https://detect.ensma.fr/2019/ In conjunction with 9th International Conference on...

Thèse Isolation mémoire sur MPU

Bonjour à tous,   Orange Labs et l'Université de Lille proposent une thèse CIFRE autour de la sécurité pour l'IOT et l’embarqué. Il s'agit d'explorer l'isolation mémoire pour des processeurs MPU et d'étudier la possibilité d'établir des garanties avec des preuves...

Offre de thèse à l’ISAE-ENSMA (2019-2022)

Nous recherchons des candidats issus de Master 2 ou d'école d'ingénieurs pour une offre de thèse au LIAS, ISAE-ENSMA, Poitiers pour Octobre 2019 (voir les détails sur https://www.lias-lab.fr/jobs/2019-sujet-these-eu.pdf ) Si vous connaissez des étudiant(e)s...