1. LUGOU Florian
  2. LUGOU Florian
print

LUGOU Florian

Thesis

Lugou, Florian

Environments for analyzing the security of smart objects

Thesis
Detail
Document
HAL
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Evolving Attacker Perspectives for Secure Embedded System Design

MODELSWARD 2018, 6th International Conference on Model-Driven Engineering and Software Development, 22-24 January 2018, Funchal, Madeira, Portugal
Detail
Document
HAL
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Security modeling for embedded system design

GRAMSEC 2017, 4th International Workshop on Graphical Models for Security, co-located with CSF 2017, 21 August 2017, Santa Barbara, CA, United States / Also published in LNCS, Vol. 10744
Detail
DOI
HAL
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Security-aware modeling and analysis for HW/SW partitioning

MODELSWARD 2017, 5th International Conference on Model-Driven Engineering and Software Development, 19-21 February 2017, Porto, Portugal
Detail
Document
HAL
BIBTEX

Journal

Lugou, Florian; Apvrille, Ludovic; Francillon, Aurélien

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

Journal of Cryptographic Engineering, Special Section on Proofs, November 2016
Detail
Document
DOI
HAL
BIBTEX

Conference

Lugou, Florian; Li, Letitia W; Apvrille, Ludovic; Ameur, Rabea

SysML models and model transformation for security

MODELSWARD 2016, Conference on Model-Driven Engineering and Software Development, 19-21 February 2016, Rome, Italy
Detail
Document
HAL
BIBTEX

Conference

Lugou, Florian; Apvrille, Ludovic; Francillon, Aurélien

Toward a methodology for unified verification of hardware/software co-designs

PROOFS 2015, Security Proofs for Embedded Systems, 17 September 2015, Saint-Malo, France / To be published in Journal of Cryptographic Engineering (JCEN), Springer
Detail
Document
HAL
BIBTEX

Journal

Lugou, Florian; Apvrille, Ludovic

Quelques épreuves du challenge sécurité "Trust the Future"

MISC, Multi-System & Internet Cookbook, N°79, Mai-Juin 2015
Detail
HAL
BIBTEX

Talk

Lugou, Florian

Analyzing security properties at the interface between HW & SW

Première Journée des Doctorants du Labex UCN@Sophia, 24 Avril 2014, Sophia-Antipolis, France
Detail
Document
BIBTEX