Florian Lugou

According to our database, Florian Lugou authored at least 7 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Florian Lugou

PhD thesis, 2018

Evolving Attacker Perspectives for Secure Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

SysML Model Transformation for Safety and Security Analysis.

Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille

Proceedings of the Security and Safety Interplay of Intelligent Software Systems, 2018

2017

SMASHUP: a toolchain for unified verification of hardware/software co-designs.

Florian Lugou, Ludovic Apvrille, Aurélien Francillon

J. Cryptogr. Eng., 2017

Security-aware Modeling and Analysis for HW/SW Partitioning.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Security Modeling for Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016

SysML Models and Model Transformation for Security.

Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa

Proceedings of the MODELSWARD 2016, 2016