SysML Models and Model Transformation for Security. - Florian Lugou; Letitia W. Li; Ludovic Apvrille; Rabéa Ameur-Boulifa (MODELSWARD, 2016)

Security Modeling for Embedded System Design. - Letitia W. Li; Florian Lugou; Ludovic Apvrille (GraMSec@CSF, 2017)

Security-aware Modeling and Analysis for HW/SW Partitioning. - Letitia W. Li; Florian Lugou; Ludovic Apvrille (MODELSWARD, 2017)

SMASHUP: a toolchain for unified verification of hardware/software co-designs. - Florian Lugou; Ludovic Apvrille; Aurélien Francillon (J. Cryptogr. Eng., 2017)

SysML Model Transformation for Safety and Security Analysis. - Rabéa Ameur-Boulifa; Florian Lugou; Ludovic Apvrille (ISSA/CSITS@ESORICS, 2018)

Evolving Attacker Perspectives for Secure Embedded System Design. - Letitia W. Li; Florian Lugou; Ludovic Apvrille (MODELSWARD, 2018)

Approaches for analyzing security properties of smart objects. (Environnement pour l'analyse de sécurité d'objets communicants). - Florian Lugou (2018)